{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T19:39:42Z","timestamp":1648755582494},"reference-count":21,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1977,1,1]],"date-time":"1977-01-01T00:00:00Z","timestamp":220924800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Languages"],"published-print":{"date-parts":[[1977,1]]},"DOI":"10.1016\/0096-0551(77)90003-0","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T19:11:16Z","timestamp":1060283476000},"page":"149-170","source":"Crossref","is-referenced-by-count":0,"title":["Pointers and data abstractions in high level languages\u2014II: Correctness proofs"],"prefix":"10.1016","volume":"2","author":[{"given":"D.M.","family":"Berry","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0096-0551(77)90003-0_BIB1","series-title":"Proc. 3rd Ann. ACM Symp. on Theory of Computing","first-page":"86","article-title":"Block structure: retention vs deletion","author":"Berry","year":"1971"},{"key":"10.1016\/0096-0551(77)90003-0_BIB2","article-title":"On the design and specification of the programming language Oregano","author":"Berry","year":"1974","journal-title":"Technical Report UCLA-ENG-7388"},{"key":"10.1016\/0096-0551(77)90003-0_BIB3","series-title":"Proc. ACM Symp. on High Level Language Architecture","first-page":"141","article-title":"Two PARALLEL EULER run time models: the dangling reference, imposter environment and label problems","volume":"8","author":"Chirica","year":"1973"},{"key":"10.1016\/0096-0551(77)90003-0_BIB4","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/BF00288686","article-title":"Program proving: jumps and functions","volume":"1","author":"Clint","year":"1972","journal-title":"Acta Informatica"},{"key":"10.1016\/0096-0551(77)90003-0_BIB5","article-title":"Common Base Language","author":"Dahl","year":"1970","journal-title":"NCC Publication S-22"},{"key":"10.1016\/0096-0551(77)90003-0_BIB6","series-title":"Structured Programming","author":"Dahl","year":"1972"},{"key":"10.1016\/0096-0551(77)90003-0_BIB7","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BF00289502","article-title":"Relational level data structures for programming languages","volume":"2","author":"Earley","year":"1973","journal-title":"Acta Informatica"},{"key":"10.1016\/0096-0551(77)90003-0_BIB8","series-title":"The SNOBOL 4 Programming Language","author":"Griswold","year":"1974"},{"key":"10.1016\/0096-0551(77)90003-0_BIB9","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","article-title":"Proof of correctness of data representations","volume":"1","author":"Hoare","year":"1972","journal-title":"Acta Informatica"},{"key":"10.1016\/0096-0551(77)90003-0_BIB10","article-title":"Recursive data structures","author":"Hoare","year":"1973"},{"key":"10.1016\/0096-0551(77)90003-0_BIB11","series-title":"Proc. Int. Conf. on Reliable Software","first-page":"528","article-title":"Data reliability","author":"Hoare","year":"1975"},{"key":"10.1016\/0096-0551(77)90003-0_BIB12","article-title":"An Axiomatic Definition of the Programming Language PASCAL","author":"Hoare","year":"1972"},{"key":"10.1016\/0096-0551(77)90003-0_BIB13","series-title":"Proc. Int. Conf. on Reliable Software","first-page":"420","article-title":"Verifying programs which operate on data structures","author":"Laventhal","year":"1975"},{"key":"10.1016\/0096-0551(77)90003-0_BIB14","article-title":"A note on CLU","volume":"112","author":"Liskov","year":"1974"},{"key":"10.1016\/0096-0551(77)90003-0_BIB15","series-title":"SIGPLAN Symp. on Very High Level Languages","first-page":"50","article-title":"Programming with abstract data types","volume":"9","author":"Liskov","year":"1974"},{"key":"10.1016\/0096-0551(77)90003-0_BIB16","first-page":"105","article-title":"On the formal description of PL\/1","volume":"6","author":"Lucas","year":"1969","journal-title":"Ann. Rev. Aut. Prog."},{"key":"10.1016\/0096-0551(77)90003-0_BIB17","article-title":"On the synthesis of reliable programs","author":"Lucena","year":"1975"},{"key":"10.1016\/0096-0551(77)90003-0_BIB18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00265077","article-title":"Revised report on the algorithmic language ALGOL 68","volume":"5","author":"van Wijngaarden","year":"1975","journal-title":"Acta Informatica"},{"key":"10.1016\/0096-0551(77)90003-0_BIB19","series-title":"Proc. ACM Symp. on Data Structures in Programming Languages","first-page":"2","article-title":"Modeling of storage properties of higher level languages","volume":"6","author":"Walk","year":"1971"},{"key":"10.1016\/0096-0551(77)90003-0_BIB20","article-title":"Studies in extensible languages","author":"Wegbreit","year":"1970"},{"key":"10.1016\/0096-0551(77)90003-0_BIB21","series-title":"Revised Report","article-title":"The Programming Language PASCAL","author":"Wirth","year":"1972"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055177900030?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055177900030?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T04:59:57Z","timestamp":1552625997000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0096055177900030"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977,1]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1977,1]]}},"alternative-id":["0096055177900030"],"URL":"https:\/\/doi.org\/10.1016\/0096-0551(77)90003-0","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1977,1]]}}}