{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:27Z","timestamp":1725663447360},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164425"},{"type":"electronic","value":"9783540397823"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16442-1_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:39:31Z","timestamp":1330177171000},"page":"1-29","source":"Crossref","is-referenced-by-count":2,"title":["Compiler generation from relational semantics"],"prefix":"10.1007","author":[{"given":"Mads","family":"Dam","sequence":"first","affiliation":[]},{"given":"Frank","family":"Jensen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"1_CR1","unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner: An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types. In: Current Trends in Programming Methodology, Vol. IV, R.T. Yeh (editor), Prentice-Hall 1978."},{"key":"1_CR2","unstructured":"D. Bj\u00f8rner: Formal Development of Interpreters and Compilers, DtH ID673, 1977."},{"key":"1_CR3","volume-title":"Automata, Languages, Programming","author":"J. W. Bakker De","year":"1972","unstructured":"J.W. De Bakker, W.P. De Roever: A Calculus for Recursive Program Schemes. In: Automata, Languages, Programming, Nivat (editor), North-Holland, Amsterdam 1972."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"H. Ganzinger: Transforming Denotational Semantics into practical Attribute Grammars. In: Semantics-Directed Compiler Generation, LNCS 94, N.D. Jones (editor), 1980.","DOI":"10.1007\/3-540-10250-7_18"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"M.J.C. Gordon: The Denotational Description of Programming Languages \u2014 An Introduction, Springer-Verlag 1979.","DOI":"10.1007\/978-1-4612-6228-2"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"I.Greif, A.R. Meyer: Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer, ACM Transactions on Programming Languages and Systems, Vol. 3, No. 4, Oct. 1981.","DOI":"10.1145\/357146.357151"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, P.E. Lauer: Consistent and Complementary Formal Theories of the Semantics of Programming Languages, Acta Informatica 3, 1974.","DOI":"10.1007\/BF00264034"},{"key":"1_CR8","unstructured":"F. Jensen, M. Dam: Automatisk generering af overs\u0153ttere udfra operationelt semantiske definitioner af programmeringssprog, M.Sc. Thesis (in danish), Aalborg University Centre, 1985."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"N.D. Jones, H. Christiansen: Control Flow Treatment in a Simple Semantics-Directed Compiler Generator, DAIMI PB-137, sept. 1981.","DOI":"10.7146\/dpb.v10i137.7411"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"N.D. Jones, D.A. Schmidt: Compiler Generation from Denotational Semantics. In: Semantics-Directed Compiler Generation, LNCS 94, N.D. Jones (editor), 1980.","DOI":"10.1007\/3-540-10250-7_19"},{"key":"1_CR11","unstructured":"R. Kowalski: Predicate Logic as Programming Language. In: Information Processing 74, North-Holland 1974."},{"key":"1_CR12","unstructured":"R. Milne, C. Strachey: A Theory of Programming Language Semantics, Chapman and Hall, 1976."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"F.L. Morris: Advice on Structuring Compilers and Proving Them Correct, Proc. 2nd ACM Symp. on Principles of Prog. Lan., 1973.","DOI":"10.1145\/512927.512941"},{"key":"1_CR14","unstructured":"P. Mosses: SIS-Semantics Implementation System, Reference Manual and User's Guide, DAIMI MD-30, 1979."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"P. Mosses: A Constructive Approach to Compiler Correctness. In: Semantics-Directed Compiler Generation, LNCS 94, N.D. Jones (editor), 1980.","DOI":"10.1007\/3-540-10250-7_23"},{"key":"1_CR16","unstructured":"H.R. Nielson: Hoare Logic's for Run-time Analysis of Programs, Ph.D. Thesis, University of Edinburgh, oct. 1984."},{"key":"1_CR17","unstructured":"F. Nielson, H.R. Nielson: Pragmatic Aspects of Two-Level Denotational Meta-Languages, AUC R-85-13."},{"key":"1_CR18","unstructured":"G.D. Plotkin: A Structural Approach to Operational Semantics, DAIMI FN-19, sept. 1981."},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"D.A. Schmidt: Detecting Global Variables in Denotational Specifications, ACM Transactions on Programming Languages and Systems, Vol. 7, No. 2, april 1985.","DOI":"10.1145\/3318.3323"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"R. Sethi: Control-Flow Aspects of Semantics-Directed Compiling, ACM Transactions on Programming Languages and Systems, Vol. 5, No. 4, oct. 1983.","DOI":"10.1145\/69575.357227"},{"key":"1_CR21","unstructured":"J.E. Stoy: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"M. Wand: Deriving Target Code as a Representation of Continuation Semantics, ACM Transactions on Programming Languages and Systems, Vol. 4, No. 3, july 1982.","DOI":"10.1145\/357172.357179"}],"container-title":["Lecture Notes in Computer Science","ESOP 86"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16442-1_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:10:02Z","timestamp":1605625802000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16442-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164425","9783540397823"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-16442-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}