{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,8]],"date-time":"2023-03-08T23:57:21Z","timestamp":1678319841304},"reference-count":10,"publisher":"Association for Computing Machinery (ACM)","issue":"11","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[1972,11]]},"abstract":"The constructs of a simple programming language are introduced and described informally in terms of values and side-effects. A translator is defined which translates the language into flowcharts for a simple machine. The action of the machine in executing a flowchart is defined. A proof is constructed that the effect of translating and executing any program can be expressed solely in terms of the value and side-effect of the program. During the course of constructing the proof, formal definitions of the concepts of value and side-effect are derived in order to make the proof rigorous. Correctness of the implementation involves checking that the definitions derived in the step above are an acceptable formalization of the informal description given in the first step.<\/jats:p>","DOI":"10.1145\/355606.361880","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:32:44Z","timestamp":1027769564000},"page":"967-973","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Derived semantics for some programming language constructs"],"prefix":"10.1145","volume":"15","author":[{"given":"Peter","family":"Henderson","sequence":"first","affiliation":[{"name":"Univ. of Newcastle upon Tyne, England"}]}],"member":"320","published-online":{"date-parts":[[1972,11]]},"reference":[{"key":"e_1_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/12.1.41"},{"key":"e_1_2_1_2_2","volume-title":"North Holland Pub. Co.","author":"Curry H. F.","year":"1958","unstructured":"Curry , H. F. , and Feys , R . Combinatory Logic, Vol 1 . North Holland Pub. Co. , Amsterdam , 1958 . Curry, H. F., and Feys, R. Combinatory Logic, Vol 1. North Holland Pub. Co., Amsterdam, 1958."},{"key":"e_1_2_1_3_2","volume-title":"U. of Newcastle upon Tyne","author":"Henderson P.","year":"1970","unstructured":"Henderson , P. Design and semantic analysis of a programming language and its compiler. Ph.D. Th ., U. of Newcastle upon Tyne , England , 1970 . Henderson, P. Design and semantic analysis of a programming language and its compiler. Ph.D. Th., U. of Newcastle upon Tyne, England, 1970."},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/6.4.308"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/363744.363749"},{"key":"e_1_2_1_7_2","first-page":"21","volume-title":"Proc. IFIP Cong.","author":"McCarthy J.","year":"1962","unstructured":"McCarthy , J. Towards a mathematical science of computation . Proc. IFIP Cong. 1962 , North Holland Pub. Co., Amsterdam , p. 21 . McCarthy, J. Towards a mathematical science of computation. Proc. IFIP Cong. 1962, North Holland Pub. Co., Amsterdam, p. 21."},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/019\/0242403"},{"key":"e_1_2_1_9_2","first-page":"198","volume-title":"North-Holland Publ. Co.","author":"Strachey","year":"1966","unstructured":"Strachey , Christopher. Towards a formal semantics. In Formal Language Description Languages for Computer Programming. T.B. Steel (ed.) , North-Holland Publ. Co. , Amsterdam , 1966 , pp. 198 - 220 . Strachey, Christopher. Towards a formal semantics. In Formal Language Description Languages for Computer Programming. T.B. Steel (ed.), North-Holland Publ. Co., Amsterdam, 1966, pp. 198-220."},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/365170.365202"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/355606.361880","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T07:32:08Z","timestamp":1672644728000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/355606.361880"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1972,11]]},"references-count":10,"journal-issue":{"issue":"11","published-print":{"date-parts":[[1972,11]]}},"alternative-id":["10.1145\/355606.361880"],"URL":"https:\/\/doi.org\/10.1145\/355606.361880","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[1972,11]]},"assertion":[{"value":"1972-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}