{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T21:08:08Z","timestamp":1764364088869},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552536"},{"type":"electronic","value":"9783540468035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55253-7_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:57:30Z","timestamp":1330250250000},"page":"130-150","source":"Crossref","is-referenced-by-count":5,"title":["Back to direct style"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Danvy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511609619"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Anders Bondorf. Automatic autoprojection of higher-order recursive equations. Science of Computer Programming, 1991. To appear.","DOI":"10.1016\/0167-6423(91)90035-V"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"William Clinger and Jonathan Rees, eds. Revised4 report on the algorithmic language Scheme. LISP Pointers, IV(3):1\u201355, July\u2013September 1991.","DOI":"10.1145\/382130.382133"},{"key":"8_CR4","first-page":"496","volume-title":"Lecture Notes in Computer Science","author":"C. Consel","year":"1991","unstructured":"Charles Consel and Olivier Danvy. For a better support of static data flow. In Proceedings of the 1991 Conference on Functional Programming and Computer Architecture, number 523 in Lecture Notes in Computer Science, pages 496\u2013519, Cambridge, Massachusetts, August 1991. Springer-Verlag."},{"key":"8_CR5","first-page":"14","volume-title":"Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages","author":"C. Consel","year":"1991","unstructured":"Charles Consel and Olivier Danvy. Static and dynamic semantics processing. In Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, pages 14\u201324, Orlando, Florida, January 1991. ACM Press."},{"key":"8_CR6","volume-title":"Technical Report CIS-92-2","author":"O. Danvy","year":"1992","unstructured":"Olivier Danvy. Three steps for the CPS transformation. Technical Report CIS-92-2, Kansas State University, Manhattan, Kansas, 1992."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Olivier Danvy and Andrzej Filinski. Abstracting control. In LFP'90 [23], pages 151\u2013160.","DOI":"10.1145\/91556.91622"},{"key":"8_CR8","volume-title":"Technical Report CIS-91-2","author":"O. Danvy","year":"1991","unstructured":"Olivier Danvy and Andrzej Filinski. Representing control, a study of the CPS transformation. Technical Report CIS-91-2, Kansas State University, Manhattan, Kansas, 1991."},{"key":"8_CR9","volume-title":"Technical Report CIS-92-1","author":"O. Danvy","year":"1992","unstructured":"Olivier Danvy and Julia L. Lawall. Back to direct style II: First-class continuations. Technical Report CIS-92-1, Kansas State University, Manhattan, Kansas, 1992."},{"issue":"3","key":"8_CR10","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0304-3975(87)90109-5","volume":"52","author":"M. Felleisen","year":"1987","unstructured":"Matthias Felleisen, Daniel P. Friedman, Eugene Kohlbecker, and Bruce Duba. A syntactic theory of sequential control. Theoretical Computer Science, 52(3):205\u2013237, 1987.","journal-title":"Theoretical Computer Science"},{"key":"8_CR11","volume-title":"Technical Report Rice COMP TR89-100","author":"M. Felleisen","year":"1989","unstructured":"Matthias Felleisen and Robert Hieb. The revised report on the syntactic theories of sequential control and state. Technical Report Rice COMP TR89-100, Department of Computer Science, Rice University, Houston, Texas, June 1989. To appear in Theoretical Computer Science."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Andrzej Filinski. Declarative continuations: An investigation of duality in programming language semantics. In D.H. Pitt et al., editors, Category Theory and Computer Science, number 389 in Lecture Notes in Computer Science, pages 224\u2013249, Manchester, UK, September 1989.","DOI":"10.1007\/BFb0018355"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Michael J. Fischer. Lambda calculus schemata. In Proceedings of the ACM Conference on Proving Assertions about Programs, pages 104\u2013109. SIGPLAN Notices, Vol. 7, No 1 and SIGACT News, No 14, January 1972.","DOI":"10.1145\/800235.807077"},{"key":"8_CR14","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/114005.102805","volume":"13","author":"P. Fradet","year":"1991","unstructured":"Pascal Fradet and Daniel Le M\u00e9tayer. Compilation of functional languages by program transformation. ACM Transactions on Programming Languages and Systems, 13:21\u201351, 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR15","volume-title":"Applications of continuations. Report 237","author":"Daniel P. P. Friedman","year":"1988","unstructured":"Daniel P. Friedman. Applications of continuations. Report 237, Computer Science Department, Indiana University, Bloomington, Indiana, January 1988. Tutorial of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California."},{"key":"8_CR16","unstructured":"Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes. Essentials of Programming Languages. MIT Press and McGraw-Hill, 1991."},{"key":"8_CR17","first-page":"47","volume-title":"Proceedings of the Seventeenth Annual ACM Symposium on Principles of Programming Languages","author":"Timothy G. G. Griffin","year":"1990","unstructured":"Timothy G. Griffin. A formulae-as-types notion of control. In Proceedings of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, pages 47\u201358, San Francisco, California, January 1990. ACM Press."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Neil D. Jones and Alan Mycroft. Data flow analysis of applicative programs using minimal function graphs. In Proceedings of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, pages 296\u2013306, January 1986.","DOI":"10.1145\/512644.512672"},{"key":"8_CR19","unstructured":"Neil D. Jones and Flemming Nielson. Abstract interpretation: a semantics-based tool for program analysis (chapter in preparation). In The Handbook of Logic in Computer Science. North-Holland, 1991."},{"issue":"1","key":"8_CR20","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"Neil D. D. Jones","year":"1989","unstructured":"Neil D. Jones, Peter Sestoft, and Harald S\u00f8ndergaard. MIX: A self-applicable partial evaluator for experiments in compiler generation. LISP and Symbolic Computation, 2(1):9\u201350, 1989.","journal-title":"LISP and Symbolic Computation"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Richard Kelsey and Paul Hudak. Realistic compilation by program transformation. In Proceedings of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, pages 281\u2013292, Austin, Texas, January 1989.","DOI":"10.1145\/75277.75302"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Amir Kishon, Paul Hudak, and Charles Consel. Monitoring semantics: A formal framework for specifying, implementing, and reasoning about execution monitors. In Proceedings of the ACM SIGPLAN'91 Conference on Programming Languages Design and Implementation, pages 338\u2013352, Toronto, Ontario, June 1991.","DOI":"10.1145\/113445.113474"},{"key":"8_CR23","unstructured":"Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, Nice, France, June 1990."},{"key":"8_CR24","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1016\/S0019-9958(71)90355-X","volume":"18","author":"Antoni W. W. Mazurkiewicz","year":"1971","unstructured":"Antoni W. Mazurkiewicz. Proving algorithms by tail functions. Information and Control, 18:220\u2013226, 1971.","journal-title":"Information and Control"},{"key":"8_CR25","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/LICS.1989.39155","volume-title":"Proceedings of the Fourth Annual Symposium on Logic in Computer Science","author":"E. Moggi","year":"1989","unstructured":"Eugenio Moggi. Computational lambda-calculus and monads. In Proceedings of the Fourth Annual Symposium on Logic in Computer Science, pages 14\u201323, Pacific Grove, California, June 1989. IEEE."},{"key":"8_CR26","volume-title":"Proceedings of the Sixth Symposium on Logic in Computer Science","author":"Chetan R. R. Murthy","year":"1991","unstructured":"Chetan R. Murthy. An evaluation semantics for classical proofs. In Proceedings of the Sixth Symposium on Logic in Computer Science, Amsterdam, The Netherlands, July 1991. IEEE."},{"key":"8_CR27","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BF00263194","volume":"18","author":"F. Nielson","year":"1982","unstructured":"Flemming Nielson. A denotational framework for data flow analysis. Acta Informatica, 18:265\u2013287, 1982.","journal-title":"Acta Informatica"},{"issue":"1","key":"8_CR28","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0304-3975(86)90006-X","volume":"56","author":"F. Nielson","year":"1988","unstructured":"Flemming Nielson and Hanne Riis Nielson. Two-level semantics and code generation. Theoretical Computer Science, 56(1):59\u2013133, January 1988.","journal-title":"Theoretical Computer Science"},{"key":"8_CR29","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"Gordon D. D. Plotkin","year":"1975","unstructured":"Gordon D. Plotkin. Call-by-name, call-by-value and the \u03bb-calculus. Theoretical Computer Science, 1:125\u2013159, 1975.","journal-title":"Theoretical Computer Science"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"John C. Reynolds. Definitional interpreters for higher-order programming languages. In Proceedings of 25th ACM National Conference, pages 717\u2013740, Boston, 1972.","DOI":"10.1145\/800194.805852"},{"key":"8_CR31","unstructured":"David A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Inc., 1986."},{"key":"8_CR32","volume-title":"Technical Report AI-TR-474","author":"Guy L. L. Steele Jr.","year":"1978","unstructured":"Guy L. Steele Jr. Rabbit: A compiler for Scheme. Technical Report AI-TR-474, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts, May 1978."},{"key":"8_CR33","volume-title":"Technical Monograph PRG-11","author":"C. Strachey","year":"1974","unstructured":"Christopher Strachey and Christopher P. Wadsworth. Continuations: A mathematical semantics for handling full jumps. Technical Monograph PRG-11, Oxford University Computing Laboratory, Programming Research Group, Oxford, England, 1974."},{"key":"8_CR34","unstructured":"Adriaan van Wijngaarden. Recursive definition of syntax and semantics. In T. B. Steel, Jr., editor, Formal Language Description Languages for Computer Programming, pages 13\u201324. North-Holland, 1966."},{"key":"8_CR35","doi-asserted-by":"crossref","unstructured":"Philip Wadler. Comprehending monads. In LFP'90 [23], pages 61\u201378.","DOI":"10.1145\/91556.91592"},{"key":"8_CR36","doi-asserted-by":"crossref","unstructured":"Mitchell Wand. Semantics-directed machine architecture. In Proceedings of the Ninth Annual ACM Symposium on Principles of Programming Languages, pages 234\u2013241, January 1982.","DOI":"10.1145\/582153.582179"},{"key":"8_CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0190(90)90165-T","volume":"35","author":"M. Wand","year":"1990","unstructured":"Mitchell Wand. A short proof of the lexical addressing algorithm. Information Processing Letters, 35:1\u20135, 1990.","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","ESOP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55253-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:58:32Z","timestamp":1605646712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55253-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552536","9783540468035"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-55253-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}