{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T13:10:07Z","timestamp":1682773807587},"reference-count":20,"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\/bf00288883","type":"journal-article","created":{"date-parts":[[2004,10,4]],"date-time":"2004-10-04T16:06:46Z","timestamp":1096906006000},"page":"217-241","source":"Crossref","is-referenced-by-count":9,"title":["Design and correctness of a compiler for a non-procedural language"],"prefix":"10.1007","volume":"9","author":[{"given":"Christoph M.","family":"Hoffmann","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"239","volume-title":"Annl. review of autom. programming","author":"F.E. Allen","year":"1969","unstructured":"Allen, F.E.: Program optimization. In: Annl. review of autom. programming (Halpern, Shaw, eds.), Vol. 5, pp. 239?308. New York: Pergamon 1969"},{"key":"CR2","first-page":"99","volume-title":"Proc. of the Intl. Symp. on Proving and Improving Programs","author":"E.A. Ashcroft","year":"1975","unstructured":"Ashcroft, E.A.: Program proving without tears. Proc. of the Intl. Symp. on Proving and Improving Programs, pp. 99?111, Senans, France, July 1975"},{"issue":"7","key":"CR3","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1145\/359636.359715","volume":"20","author":"E.A. Ashcroft","year":"1977","unstructured":"Ashcroft, E.A., Wadge, W.: Lucid, a non-procedural language with iteration. Comm. ACM 20, 7, 519?526 (1977)","journal-title":"Comm. ACM"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1137\/0205029","volume":"5","author":"E.A. Ashcroft","year":"1976","unstructured":"Ashcroft, E.A., Wadge, W.: Lucid, a formal system for writing and proving programs. SIAM J. Comput. 5, 336?354 (1976)","journal-title":"SIAM J. Comput."},{"key":"CR5","unstructured":"Ashcroft, E.A., Wadge, W.: Lucid, scope structures and defined functions. Tech. Rept. CS-76-22, Dept. of Comp. Sci., University of Waterloo, Nov. 1976, 28 pp."},{"key":"CR6","unstructured":"Cargill, T.A.: Deterministic operational semantics for Lucid. Tech. Rept. CS-76-19, Dept. of Comp. Sci., University of Waterloo, June 1976, 35 pp."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Chirica, L.M., Martin, D.F.: An approach to compiler correctness. Intl. Conf. on Reliable Software, June 1976, pp. 96?103","DOI":"10.1145\/390016.808428"},{"key":"CR8","unstructured":"Dennis, J.B.: First version of a data-flow language. Proj. MAC Memo 61, MIT, May 1975"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Floyd, R.W.: Assigning meaning to programs. In: Math, aspects of comp. sci., Vol. 19, pp. 19?32. Providence, R.I.:","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Guttag, J.: Abstract data types and the development of data structures. Suppl. of Proc. of ACM Conf. on Data, Salt Lake City, Utah, Mar. 1976, pp. 37?46","DOI":"10.1145\/800237.807124"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"C.A.R. Hoare","year":"1973","unstructured":"Hoare, C.A.R., Wirth, N.: An axiomatic definition of the programming language PASCAL. Acta Informat. 2, 335?355 (1973)","journal-title":"Acta Informat."},{"key":"CR12","unstructured":"Hoffmann, C.M.: Design and correctness proof of a compiler for Lucid. Tech. Rept. CS-76-20, Dept. of Comp. Sci., Univ. of Waterloo, May 1976, 85 pp."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Kosinski, P.R.: A data-flow programming language. IBM Res. Rept. RC-4264, Mar. 1973, 134 pp.","DOI":"10.1145\/390014.808289"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"London, R.L.: Correctness of two compilers for a LISP subset. A.I.Memo 151, Stanford Univ., 1971","DOI":"10.1145\/800235.807080"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"McCarthy, J., Painter, J.A.: Correctness of a compiler for arithmetic expressions. In: Math. aspects of comp. sci., Vol. 19. Providence, R.I.: 1967","DOI":"10.1090\/psapm\/019\/0242403"},{"key":"CR16","unstructured":"Miller, R.E., Cocke, J.: Configurable computers: A new class of general purpose machines. IBM Res. Rept. RC-3897, June 1972, 14 pp."},{"key":"CR17","first-page":"51","volume":"7","author":"R. Milner","year":"1973","unstructured":"Milner, R., Weyrauch, R.: Proving compiler correctness in a mechanized logic. Machine Intelligence, Vol. 7, pp. 51?71, Univ. of Edinburgh, 1973","journal-title":"Machine Intelligence"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Morris, F.L.: Advice on strucuring compilers and proving them correct. ACM Symp. on Principles of Progr. Lang. Boston, 1973, pp. 144?152","DOI":"10.1145\/512927.512941"},{"key":"CR19","unstructured":"Rumbaugh, J.E.: A parallel asynchronous architecture for data-flow languages. MIT Proj. MAC Rept. TR-150, May 1975, 319 pp."},{"key":"CR20","unstructured":"VanEmden, M.: Verification conditions as representation for programs. Res. Rept. CS-76-03, Dept. of Comp. Sci., Univ. of Waterloo, Jan. 1976, 21 pp."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00288883.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00288883\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00288883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T12:29:26Z","timestamp":1682771366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00288883"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1978]]}},"alternative-id":["BF00288883"],"URL":"https:\/\/doi.org\/10.1007\/bf00288883","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978]]}}}