{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,3]],"date-time":"2023-01-03T08:18:58Z","timestamp":1672733938191},"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)90002-9","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T19:11:16Z","timestamp":1060283476000},"page":"135-148","source":"Crossref","is-referenced-by-count":2,"title":["Pointers and data abstractions in high level languages\u2014I: Language proposals"],"prefix":"10.1016","volume":"2","author":[{"given":"D.M.","family":"Berry","sequence":"first","affiliation":[]},{"given":"Z.","family":"Erlich","sequence":"additional","affiliation":[]},{"given":"C.J.","family":"Lucena","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0096-0551(77)90002-9_BIB1","article-title":"Block structure: retention vs deletion","volume":"86","author":"Berry","year":"1971"},{"key":"10.1016\/0096-0551(77)90002-9_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)90002-9_BIB3","series-title":"Proceedings of the ACM Symposium on High Level Language Computer Arichitecture","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)90002-9_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)90002-9_BIB5","article-title":"Common Base Language","author":"Dahl","year":"1970","journal-title":"NCC Publication S-22"},{"key":"10.1016\/0096-0551(77)90002-9_BIB6","series-title":"Structured Programming","author":"Dahl","year":"1972"},{"key":"10.1016\/0096-0551(77)90002-9_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)90002-9_BIB8","series-title":"The SNOBOL 4 Programming Language","author":"Griswold","year":"1974"},{"key":"10.1016\/0096-0551(77)90002-9_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":"9172","journal-title":"Acta Informatica"},{"key":"10.1016\/0096-0551(77)90002-9_BIB10","article-title":"Recursive data structures","author":"Hoare","year":"1973"},{"key":"10.1016\/0096-0551(77)90002-9_BIB11","series-title":"Proceedings of the International Conference on Reliable Software","first-page":"528","article-title":"Data reliability","author":"Hoare","year":"1975"},{"key":"10.1016\/0096-0551(77)90002-9_BIB12","series-title":"An Axiomatic Definition of the Programming Language PASCAL","author":"Hoare","year":"1972"},{"key":"10.1016\/0096-0551(77)90002-9_BIB13","series-title":"Proceedings of the International Conference 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)90002-9_BIB14","article-title":"A note on CLU","author":"Liskov","year":"1974"},{"key":"10.1016\/0096-0551(77)90002-9_BIB15","series-title":"SIGPLAN Symposium 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)90002-9_BIB16","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0066-4138(69)90005-6","article-title":"On the formal description of PL\/1","volume":"6","author":"Lucas","year":"1969","journal-title":"Ann. Rev. Automatic Programming"},{"key":"10.1016\/0096-0551(77)90002-9_BIB17","article-title":"On the synthesis of reliable programs","author":"Lucena","year":"1975"},{"key":"10.1016\/0096-0551(77)90002-9_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)90002-9_BIB19","series-title":"Proc. ACM Symp. on Data Structures in Programming Languages","article-title":"Modeling of storage properties of higher level languages","volume":"6","author":"Walk","year":"1971"},{"key":"10.1016\/0096-0551(77)90002-9_BIB20","article-title":"Studies in extensible languages","author":"Wegbreit","year":"1970"},{"key":"10.1016\/0096-0551(77)90002-9_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:0096055177900029?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055177900029?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:58Z","timestamp":1552625998000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0096055177900029"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977,1]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1977,1]]}},"alternative-id":["0096055177900029"],"URL":"https:\/\/doi.org\/10.1016\/0096-0551(77)90002-9","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1977,1]]}}}