{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T06:00:34Z","timestamp":1697868034182},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1978,1,1]],"date-time":"1978-01-01T00:00:00Z","timestamp":252460800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/bf00264318","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T19:30:47Z","timestamp":1096399847000},"page":"229-243","source":"Crossref","is-referenced-by-count":4,"title":["On removing the machine from the language"],"prefix":"10.1007","volume":"10","author":[{"given":"Eric C. R.","family":"Hehner","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"A discipline of programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A discipline of programming. New Jersey: Prentice-Hall 1976"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF00264468","volume":"8","author":"J.E. Donahue","year":"1977","unstructured":"Donahue, J.E.: Locations considered unnecessary. Acta Informat. 8, 221?242 (1977)","journal-title":"Acta Informat."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/956003.956008","volume":"11","author":"W.T. Hardgrave","year":"1976","unstructured":"Hardgrave, W.T.: Positional versus keyword parameter communication in programming languages. SIGPLAN 11, 52?58 (1976)","journal-title":"SIGPLAN"},{"key":"CR4","unstructured":"Hehner, E.C.R.: do considered od: a contribution to the programming calculus. CSRG Technical Report 75, University of Toronto, 1976"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Comm. ACM 12, 576?583 (1969)","journal-title":"Comm. ACM"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF00976239","volume":"4","author":"C.A.R. Hoare","year":"1975","unstructured":"Hoare, C.A.R.: Recursive data structures. Internat. J. Comput. Information Sci. 4, 105?132 (1975)","journal-title":"J. Comput. Information Sci."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Kieburtz, R.B.: Programming without pointer variables. ACM Conference on Data: Abstraction, Definition and Structure, Salt Lake City, 1976","DOI":"10.1145\/800237.807127"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Knuth, D.E.: Structured programming with go to statements. ACM Computing Surveys, 6.4, December, 1974","DOI":"10.1145\/356635.356640"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/954666.971189","volume":"12","author":"B.W. Lampson","year":"1977","unstructured":"Lampson, B.W., Horning, J.J., London, R.W., Mitchell, J.G., Popek, G.J.: Report on the programming language Euclid. SIGPLAN 12, 1?79 (1977)","journal-title":"SIGPLAN"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1145\/361219.361222","volume":"18","author":"H.F Ledgard","year":"1975","unstructured":"Ledgard, H.F., Marcotty, M.: A genealogy of control structures. Comm. ACM 18, 629?639 (1975)","journal-title":"Comm. ACM"},{"key":"CR11","unstructured":"McKeeman, W.M.: An approach to computer language design. Report STAN-CS-66-48, Stanford University, 1966"},{"key":"CR12","volume-title":"Software engineering","author":"D.T. Ross","year":"1970","unstructured":"Ross, D.T.: Uniform referents: an essential property for a software engineering language. In: Software engineering (J.T. Tou, ed.). New York-London: Academic Press 1970"},{"key":"CR13","first-page":"19","volume-title":"Computers and automata","author":"D. Scott","year":"1972","unstructured":"Scott, D., Strachey, C.: Towards a mathematical semantics for computer languages. In: Computers and automata (J. Fox, ed.), pp. 19?46. New York: Wiley 1972"},{"key":"CR14","unstructured":"Webster's Third New International Dictionary, p. 132. Springfield, Mass.: Merriam 1976"},{"key":"CR15","first-page":"386","volume-title":"Information processing, Vol. 74","author":"N. Wirth","year":"1974","unstructured":"Wirth, N.: On the design of programming languages. Proc. IFIP Congress, Stockholm, 1974. In: Information processing, Vol. 74, pp. 386?393. Amsterdam: North-Holland 1974"},{"key":"CR16","series-title":"Technical Report 19","volume-title":"Modula: a language for modular multiprogramming","author":"N. Wirth","year":"1976","unstructured":"Wirth, N.: Modula: a language for modular multiprogramming. Technical Report 19, Institut f\u00fcr Informatik, Eidgen\u00f6ssische Technische Hochschule, Z\u00fcrich, June, 1976"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264318.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00264318\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264318","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T13:14:47Z","timestamp":1554297287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00264318"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1978]]}},"alternative-id":["BF00264318"],"URL":"https:\/\/doi.org\/10.1007\/bf00264318","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978]]}}}