{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:34Z","timestamp":1725664894499},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610533"},{"type":"electronic","value":"9783540499398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61053-7_61","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:13:09Z","timestamp":1330290789000},"page":"177-191","source":"Crossref","is-referenced-by-count":6,"title":["A compiler for natural semantics"],"prefix":"10.1007","author":[{"given":"Mikael","family":"Pettersson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"13_CR1","unstructured":"A. V. Aho, R. Sethi, and J. D. Ullman. Compilers Principles, Techniques, and Tools. Addison-Wesley, 1986."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Hassan A\u00eft-Kaci. Warren's Abstract Machine: A Tutorial Reconstruction. The MIT Press, 1991.","DOI":"10.7551\/mitpress\/7160.001.0001"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511609619"},{"key":"13_CR4","unstructured":"Isabelle Attali and Didier Parigot. Integrating natural semantics and attribute grammars: the Minotaur system. Research report N\u2218 2339, INRJA, September 1994."},{"issue":"9","key":"13_CR5","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/214448.214454","volume":"30","author":"H. G. Baker","year":"1995","unstructured":"Henry G. Baker. CONS should not CONS its arguments, part II: Cheney on the M.T.A. ACM SIGPLAN Notices, 30(9):17\u201320, September 1995.","journal-title":"ACM SIGPLAN Notices"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Takashi Chikayama, Tetsuro Pujise, and Daigo Sekita. A portable and efficient implementation of KL1. In Hermenegildo and Penjam [16], pages 25\u201339.","DOI":"10.1007\/3-540-58402-1_4"},{"key":"13_CR7","first-page":"317","volume-title":"wamcc: Compiling Prolog to C","author":"P. Codognet","year":"1995","unstructured":"Philippe Codognet and Daniel Diaz. wamcc: Compiling Prolog to C. In Leon Sterling, editor, Proceedings of the Twelfth International Conference on Logic Programming, pages 317\u2013331, Tokyo, Japan, 1995. The MIT Press."},{"key":"13_CR8","unstructured":"Fabio Q. B. da Silva. Towards a formal framework for evaluation of operational semantics. Technical Report ECS-LFCS-90-126, University of Edinburgh, 1990."},{"key":"13_CR9","unstructured":"Jo\u00eblle Despeyroux. Proof of translation in natural semantics. In Proceedings of the 1st Symposium on Logic in Computer Science, LICS'86, pages 193\u2013205. IEEE, 1986."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Thierry Despeyroux. Executable specification of static semantics. In Gilles Kahn, editor, Semantics of Data Types, volume 173 of LNCS, pages 215\u2013233. Springer-Verlag, 1984.","DOI":"10.1007\/3-540-13346-1_11"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Marc Feeley. Gambit-C version 2.2. Available by anonymous ftp from ftp.iro.umontreal.ca, May 1995.","DOI":"10.1016\/1353-4858(95)90159-0"},{"key":"13_CR12","unstructured":"Jean H. Gallier. Logic for Computer Science. John Wiley & Sons, 1987."},{"key":"13_CR13","first-page":"399","volume-title":"jc: An efficient and portable sequential implementation of Janus","author":"D. Gudeman","year":"1992","unstructured":"David Gudeman, Koenraad De Bosschere, and Saumya K. Debray. jc: An efficient and portable sequential implementation of Janus. In Krzysztof Apt, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 399\u2013413, Washington, USA, 1992. The MIT Press."},{"key":"13_CR14","series-title":"PhD thesis","volume-title":"Report 91\/1","author":"J. Hannan","year":"1991","unstructured":"John Hannan. Investigating a proof-theoretic meta-language for functional programs. Report 91\/1, DIKU Copenhagen, 1991. PhD thesis."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Bogumil Hausman. Turbo Erlang: Approaching the speed of C. In E. Tick and G. Succi, editors, Implementations of Logic Programming Systems, pages 119\u2013135. Kluwer Academic Publishers, 1994.","DOI":"10.1007\/978-1-4615-2690-2_9"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo and J. Penjam, editors. Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming, PLILP'94, volume 844 of LNCS. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58402-1"},{"key":"13_CR17","volume-title":"The Centaur 1.2 Manual","author":"I. Jacobs","year":"1992","unstructured":"I. Jacobs. The Centaur 1.2 Manual, 1992. Available from INRJA-Sophia Antipolis."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Gilles Kahn. Natural semantics. In P. J. Brandenburg, G. Vidal-Naquet, and M. Wirsing, editors, Proceedings of the Symposium on Theoretical Aspects of Computer Science, STAGS'87, volume 247 of LNCS, pages 22\u201339. Springer-Verlag, 1987.","DOI":"10.1007\/BFb0039592"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"David Kranz, Richard Kelsey, Jonathan A. Rees, Paul Hudak, James Philbin, and Norman I. Adams. Orbit: an optimizing compiler for Scheme. In Proceedings of the ACM SIGPLAN '86 Symposium on Compiler Construction, pages 219\u2013233. ACM Press, 1986.","DOI":"10.1145\/12276.13333"},{"key":"13_CR20","unstructured":"Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. The MIT Press, 1990."},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Mikael Pettersson. A term pattern-match compiler inspired by finite automata theory. In U. Kastens and P. Pfahler, editors, Compiler Construction, 4th International Conference, CC'92, volume 641 of LNCS, pages 258\u2013270. Springer-Verlag, October 1992.","DOI":"10.1007\/3-540-55984-1_24"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Mikael Pettersson. RML \u2014 a new language and implementation for natural semantics. In Hermenegildo and Penjam [16], pages 117\u2013131.","DOI":"10.1007\/3-540-58402-1_10"},{"key":"13_CR23","unstructured":"Mikael Pettersson. Compiling Natural Semantics. PhD thesis, Department of Computer and Information Science, Link\u00f6ping University, December 1995."},{"issue":"2","key":"13_CR24","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0956796800000319","volume":"2","author":"S. L. P. Jones","year":"1992","unstructured":"Simon L. Peyton Jones. Implementing lazy functional languages on stock hardware: the spineless tagless G-machine. Journal of Functional Programming, 2(2):127\u2013202, April 1992.","journal-title":"Journal of Functional Programming"},{"key":"13_CR25","volume-title":"Report DAIMI FN-19","author":"G. D. Plotkin","year":"1981","unstructured":"Gordon D. Plotkin. A structural approach to operational semantics. Report DAIMI FN-19, Computer Science Department, Aarhus University, Denmark, September 1981."},{"key":"13_CR26","unstructured":"Zoltan Somogyi, Fergus James Henderson, and Thomas Charles Conway. The implementation of Mercury, an efficient purely declarative logic programming language. In Koen De Bosschere, Bart Demoen, and Paul Tarau, editors, ILPS'94 Post-Conference Workshop on Implementation Techniques for Logic Programming Language, pages 31\u201358, 1994."},{"key":"13_CR27","unstructured":"Guy L. Steele Jr. Rabbit: a compiler for Scheme (a study in compiler optimization). MIT AI Memo 474, Massachusetts Institute of Technology, May 1978. Master's Thesis."},{"issue":"2","key":"13_CR28","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1145\/151333.151343","volume":"1","author":"D. R. Tarditi","year":"1992","unstructured":"David R. Tarditi, Peter Lee, and Anurag Acharya. No assembly required: Compiling Standard ML to C. ACM LOPLAS, 1(2):161\u2013177, June 1992.","journal-title":"ACM LOPLAS"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61053-7_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:07:08Z","timestamp":1687288028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61053-7_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610533","9783540499398"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-61053-7_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}