{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:02Z","timestamp":1725663242044},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540102502"},{"type":"electronic","value":"9783540383390"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10250-7_20","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:06:31Z","timestamp":1330189591000},"page":"94-139","source":"Crossref","is-referenced-by-count":6,"title":["From standard to implementation denotational semantics"],"prefix":"10.1007","author":[{"given":"Martin","family":"Raskovsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phil","family":"Collier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"3_CR1","unstructured":"Reference manual. Department Of Computer Science. Essex University. 1977."},{"key":"3_CR2","unstructured":"R.Bornat. Notes for Comparative Study of Programming Languages, Department Of Computer Science. Essex University. 1976."},{"key":"3_CR3","unstructured":"R.Bornat. Understanding and Writing Compilers. MacMillan 1977."},{"key":"3_CR4","unstructured":"D.G.Gries. Compiler Construction for Digal Computers. J.Wiley and Sons. 1971."},{"key":"3_CR5","unstructured":"P.J.Hayes. Invocation Records: A conceptual Framework for Evaluating Program Text. Department Of Computer Science. Essex University. 1979."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"N.D. Jones and D.A.Schmidt. Compiler Generation from Denotational Semantics (Preliminary Report) Workshop on Semantics-Directed Compiler Generation. Department Of Computer Science. Aarnus University. 1980.","DOI":"10.1007\/3-540-10250-7"},{"key":"3_CR7","unstructured":"R.Milne and C.Strachey. A Theory of programming language semantics, Chapman and Hall. 1976."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"P.D.Mosses. The Semantics of Semantic Equations, Mathematical Foundations of Computer Science. Lecture Notes in Computer Science 28. Springer-Verlag. Proc. 3rd MFCS Symposium. Warsaw. 1974. pp. 409\u2013422","DOI":"10.1007\/3-540-07162-8_701"},{"key":"3_CR9","unstructured":"P.D.Mosses. Mathematical Semantics and Compiler Generation, PhD. thesis. University of Oxford. 1975."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"P.D.Mosses. Compiler Generation using Denotational Semantics, Mathematical Foundations of Computer Science. Lecture Notes in Computer Science 45. Springer-Verlag. Proc. 5th MFCS Symposium. Gdansk Poland. 1976. pp.436\u2013441","DOI":"10.1007\/3-540-07854-1_211"},{"key":"3_CR11","unstructured":"P.D.Mosses. SIS: A Compiler Generator System using Denotational Semantics, Reference Manual. University of Aarhus. 1978."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"M.R.Raskovsky and R.Turner. Compiler Generation and Denotational Semantics. Fundamentals of Computation Theory, 1979.","DOI":"10.1007\/3-540-10250-7_20"},{"key":"3_CR13","unstructured":"M.R.Raskovsky. ISL (In preparation) Department Of Computer Science. Essex University. 1980."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"M.Richards. BCPL: A tool for compiler writing and system programming. Proceedings of the 1969 Spring Joint Computer Conference. Boston AFIPS Montvale 1969 pp. 557\u2013566.","DOI":"10.1145\/1476793.1476880"},{"key":"3_CR15","unstructured":"D.Scott. Outline of a Mathematical Theory of Computation, PRG-2. Oxford University Computing Laboratory. 1970."},{"key":"3_CR16","unstructured":"D.Scott and C.Strachey. Toward a Mathematical Semantics for Computer Languages, PRG-6. Oxford University Computing Laboratory. 1971."},{"key":"3_CR17","first-page":"579","volume-title":"Data Types as Lattices","author":"D. Scott","year":"1976","unstructured":"D. Scott. Data Types as Lattices, Procedings of the 1974 Colloquium in Mathematical Logic. Kiel. Springer-Verlag. Berlin 1976. pp.579\u2013650."},{"key":"3_CR18","unstructured":"J.E.Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press. 1977."},{"key":"3_CR19","unstructured":"J.E.Stoy. The congruence of Two Programming Language Definitions. (manuscript). 1979."},{"key":"3_CR20","first-page":"198","volume-title":"Towards a formal semantics, Formal Language Description Languages for Computer Programming","author":"C. Strachey","year":"1966","unstructured":"C. Strachey. Towards a formal semantics, Formal Language Description Languages for Computer Programming. (edited by T.B. Steel). North-Holland. Amsterdam 1966. pp.198\u2013220."},{"key":"3_CR21","unstructured":"C.Strachey. Fundamental Concepts in Programming Languages, International Summer School in Computer Programming, 1967 (Typescript)."},{"key":"3_CR22","unstructured":"C.Strachey and C.P.Wadsworth. Continuations, A Mathematical Semantics for handling full jumps, PRG-11. Oxford University Computing Laboratory. 1974."},{"key":"3_CR23","unstructured":"B.Sufrin. LLI: A Parser Generator. Department Of Computer Science. Essex University. 1978."}],"container-title":["Lecture Notes in Computer Science","Semantics-Directed Compiler Generation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10250-7_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:43Z","timestamp":1605643363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10250-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540102502","9783540383390"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-10250-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}