{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:29Z","timestamp":1725663569345},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543961"},{"type":"electronic","value":"9783540475996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540543961_12","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:43:19Z","timestamp":1330209799000},"page":"241-258","source":"Crossref","is-referenced-by-count":3,"title":["Syntactic detection of single-threading using continuations"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Fradet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"12_CR1","unstructured":"A.V.Aho, R. Sethi and J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"A. Bloss. Update analysis and the efficient implementation of functional aggregates. In FPCA'89, pp. 26\u201338, ACM Press, 1989.","DOI":"10.1145\/99370.99373"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"M. Draghicescu and S. Purushothaman. A compositional analysis of evaluation order and its application. In Proc. of 1990 Conf. on Lisp and Func. Prog., ACM Press, pp. 242\u2013250, 1990.","DOI":"10.1145\/91556.91658"},{"issue":"1","key":"12_CR4","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1145\/942578.807077","volume":"7","author":"M. J. Fisher","year":"1972","unstructured":"M. J. Fisher. Lambda-calculus schemata. In Proc. of the ACM Conf. on Proving Properties about Programs, Sigplan Notices, Vol. 7(1), pp. 104\u2013109,1972.","journal-title":"Sigplan Notices"},{"key":"12_CR5","first-page":"155","volume":"352","author":"P. Fradet","year":"1989","unstructured":"P. Fradet and D. Le M\u00e9tayer. Compilation of \u03bb-calculus into functional machine code. In Proc. TAPSOFT'89, LNCS vol. 352, pp. 155\u2013166, 1989.","journal-title":"LNCS"},{"issue":"1","key":"12_CR6","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/114005.102805","volume":"13","author":"P. Fradet","year":"1991","unstructured":"P. Fradet and D. Le M\u00e9tayer. Compilation of functional languages by program transformation. ACM Trans. on Prog. Lang. and Sys., 13(1), pp. 21\u201351, 1991.","journal-title":"ACM Trans. on Prog. Lang. and Sys."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"C.K. Gomard and P. Sestoft. Globalization and live variables. In Proc. of ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Yale, June 1991. (to appear in Sigplan Notices)","DOI":"10.1145\/115865.115882"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"J.Guzm\u00e1n and P. Hudak. Single-threaded polymorphic lambda-calculus. In IEEE Symposium on Logic in Computer Science, June 1990.","DOI":"10.1109\/LICS.1990.113759"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"P. Hudak. A semantic model of reference counting and its abstraction. In Proc. of Conf. on Lisp and Func. Prog., ACM Press, pp. 351\u2013363, 1986.","DOI":"10.1145\/319838.319876"},{"issue":"4","key":"12_CR10","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/48022.48025","volume":"10","author":"K. Inoue","year":"1988","unstructured":"K. Inoue, H. Seki and H. Yagi. Analysis of functional programs to detect run-time garbage cells. ACM Trans. on Prog. Lang. and Sys., 10(4), 1988, 555\u2013578.","journal-title":"ACM Trans. on Prog. Lang. and Sys."},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"N.D. Jones Ed. Semantics-Directed Compiler Generation. LNCS Vol. 94, 1980.","DOI":"10.1007\/3-540-10250-7"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"S.B. Jones and D. Le M\u00e9tayer. Compile-time garbage collection by sharing analysis. In FPCA'89, pp.54\u201374, ACM Press, 1989.","DOI":"10.1145\/99370.99375"},{"key":"12_CR13","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-16442-1_4","volume":"213","author":"U. Kastens","year":"1986","unstructured":"U. Kastens and M. Schmidt. Lifetime analysis for procedure parameters. In ESOP 86, LNCS Vol. 213, pp.53\u201369, 1986.","journal-title":"ESOP 86, LNCS"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"D. Kranz, R. Kelsey, J. Rees, P. Hudak, J. Philbin and N. Adams. Orbit: An optimizing compiler for Scheme. In proc. of 1986 ACM SIGPLAN Symp. on Comp. Construction, 219\u2013233, 1986.","DOI":"10.1145\/13310.13333"},{"key":"12_CR15","unstructured":"D. Lass. Detection of single-threading properties in combinator notations. Ph.D. Thesis, Iowa State University, 1991."},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"G.D. Plotkin. Call-by-name, call-by-value and the \u03bb-calculus. Theoretical Computer Science 1, pp. 125\u2013159, 1975.","DOI":"10.1016\/0304-3975(75)90017-1"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"J.-C. Raoult and R. Sethi. The global storage needs of a subcomputation. In Proc. ACM Symp. on Princ. of Prog. Lang., 1984, 148\u2013157.","DOI":"10.1145\/800017.800526"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"P. Sestoft. Replacing function parameters by global variables. In FPCA'89, ACM Press, pp.39\u201353, 1989. (see also Tech. Report 88-7-2, University of Copenhagen, 1988.)","DOI":"10.1145\/99370.99374"},{"key":"12_CR19","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1145\/3318.3323","volume":"7","author":"D.A. Schmidt","year":"1985","unstructured":"D.A. Schmidt. Detecting global variables in denotational specifications. ACM Trans. on Prog. Lang. and Sys., vol. 7, 1985, 299\u2013310.","journal-title":"ACM Trans. on Prog. Lang. and Sys."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"D.A. Schmidt. Detecting stack-based environments in denotational definitions. Science of Computer Programming, 11(2), 1988.","DOI":"10.1016\/0167-6423(88)90001-9"},{"key":"12_CR21","unstructured":"D.A. Schmidt. Denotational Semantics. A Methodology for Language Development. Allyn & Bacon, 1986."},{"key":"12_CR22","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J.E. Stoy","year":"1977","unstructured":"J.E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, Mass., 1977."},{"key":"12_CR23","unstructured":"P. Wadler. Linear types can change the world! In IFIP Working Conf. on Programming Concepts and Methods, North Holland, 1990."},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"P. Wadler. Comprehending monads. In Proc. of 1990 Conf. on Lisp and Func. Prog., ACM Press, pp. 61\u201378, 1990.","DOI":"10.1145\/91556.91592"}],"container-title":["Lecture Notes in Computer Science","Functional Programming Languages and Computer Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540543961_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:53:53Z","timestamp":1605646433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540543961_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543961","9783540475996"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3540543961_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}