{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:54Z","timestamp":1725663234243},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_32","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:06:27Z","timestamp":1330189587000},"page":"415-440","source":"Crossref","is-referenced-by-count":8,"title":["State transition machines for lambda-calculus expressions"],"prefix":"10.1007","author":[{"given":"David A.","family":"Schmidt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"15_CR1","volume-title":"The Theory of Parsing, Translation, and Compiling, Volume I","author":"A. V. Aho","year":"1972","unstructured":"Aho, A.V., and Ullman, J.D. The Theory of Parsing, Translation, and Compiling, Volume I, Prentice-Hall, Englewood Cliffs, N.J. (1972)."},{"key":"15_CR2","volume-title":"The Calculi of Lambda-Conversion, Annals of Mathematical Studies 6","author":"A. Church","year":"1951","unstructured":"Church, A. The Calculi of Lambda-Conversion, Annals of Mathematical Studies 6, Princeton Univ. Press, Princeton, N.J. (1951)."},{"key":"15_CR3","volume-title":"Combinatory Logic, Volume I","author":"H. B. Curry","year":"1958","unstructured":"Curry, H.B., and Feys, R. Combinatory Logic, Volume I, North-Holland, Amsterdam (1958)."},{"key":"15_CR4","first-page":"391","volume-title":"Formal Description of Programming Language Concepts","author":"A. P. Ershov","year":"1976","unstructured":"Ershov, A.P. On the Essence of Compilation, in Formal Description of Programming Language Concepts, Neuhold, ed., North-Holland, Amsterdam (1976) 391\u2013420."},{"key":"15_CR5","volume-title":"Compiler Generation from Denotational Semantics, PB-113","author":"N. D. Jones","year":"1979","unstructured":"Jones, N.D., and Schmidt, D.A. Compiler Generation from Denotational Semantics, PB-113, Aarhus University, Aarhus, Denmark (1979)."},{"key":"15_CR6","volume-title":"Introduction to Metamathematics","author":"S. C. Kleene","year":"1952","unstructured":"Kleene, S.C. Introduction to Metamathematics, North-Holland, Amsterdam (1952)."},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6\u20134","author":"P. J. Landin","year":"1964","unstructured":"Landin, P.J. The Mechanical Evaluation of Expressions, Computer Journal 6\u20134 (1964) 308\u2013320.","journal-title":"Computer Journal"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. D. Plotkin","year":"1975","unstructured":"Plotkin, G.D. Call-by-Name, Call-by-Value and the Lambda-Calculus, Theoretical Computer Science 1 (1975) 125\u2013159.","journal-title":"Theoretical Computer Science"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C. Definitional Interpreters for Higher-Order Programming Languages, Proc. of the ACM National Conference, Boston, (1972) 717\u2013740.","DOI":"10.1145\/800194.805852"},{"key":"15_CR10","first-page":"141","volume-title":"On the Relation between Dlrect and Continuation Semantics","author":"J. C. Reynolds","year":"1974","unstructured":"Reynolds, J.C. On the Relation between Dlrect and Continuation Semantics, Proc. of the Second Colloquium on Automata, Languages and Programming, Saarbr\u00fccken, Springer-Verlag, Berlin (1974) 141\u2013156."},{"key":"15_CR11","unstructured":"Schmidt, D.A. Compiler Generation from Lambda-Calculus Definitions of Programming Languages, Ph.D. Thesis, Kansas State University, Manhattan, Kansas, forthcoming."},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. A. Scott","year":"1976","unstructured":"Scott, D.A. Data Types as Lattices, SIAM Journal of Computing 5 (1976) 522\u2013587.","journal-title":"SIAM Journal of Computing"},{"key":"15_CR13","volume-title":"Denotational Semantics","author":"J. E. Stoy","year":"1977","unstructured":"Stoy, J.E. Denotational Semantics, MIT Press, Cambridge, Mass. (1977)."},{"key":"15_CR14","unstructured":"Strachey, C., and Wadsworth, C.P. Continuations \u2014 A Mathematical Semantics for Handling full Jumps, Technical monograph PRG-11, Oxford University (1974)."},{"key":"15_CR15","doi-asserted-by":"crossref","first-page":"488","DOI":"10.1137\/0205036","volume":"5","author":"C. P. Wadsworth","year":"1976","unstructured":"Wadsworth, C.P. The Relation between Computational and Denotational Properties for Scott's Models of the Lambda-Calculus, SIAM Journal of Computing 5 (1976) 488\u2013521.","journal-title":"SIAM Journal of Computing"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Watt, D.A., and Madsen, O.L. Extended Attribute Grammars, Report no. 10, University of Glasgow (1977).","DOI":"10.7146\/dpb.v10i105.6520"}],"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_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:49Z","timestamp":1605643369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10250-7_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540102502","9783540383390"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-10250-7_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}