{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:09:43Z","timestamp":1725494983143},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653882"},{"type":"electronic","value":"9783540493662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49366-2_15","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T18:48:47Z","timestamp":1194979727000},"page":"188-205","source":"Crossref","is-referenced-by-count":4,"title":["Two Flavors of Offine Partial Evaluation"],"prefix":"10.1007","author":[{"given":"Simon","family":"Helsen","sequence":"first","affiliation":[]},{"given":"Peter","family":"Thiemann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1998,11,30]]},"reference":[{"key":"15_CR1","unstructured":"Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994. (DIKU report 94\/19)."},{"key":"15_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/3-540-61739-6_34","volume-title":"Proc. International Static Analysis Symposium, SAS\u201996","author":"P. H. Andersen","year":"1996","unstructured":"Peter Holst Andersen and Carsten Kehler Holst. Termination analysis for offline partial evaluation of a higher order functional language. In Radhia Cousot, editor, Proc. International Static Analysis Symposium, SAS\u201996, volume 1145 of Lecture Notes in Computer Science, pages 67\u201382, Aachen, Germany, September 1996. Springer-Verlag."},{"key":"15_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the ACM SIGPLAN Workshop on Types in Compilation (TIC\u201998)","author":"V. Balat","year":"1998","unstructured":"Vincent Balat and Olivier Danvy. Strong normalization by type-directed partial evaluation and run-time code generation. In Proceedings of the ACM SIGPLAN Workshop on Types in Compilation (TIC\u201998), Lecture Notes in Computer Science, Kyoto, Japan, March 1998."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Ulrich Berger and Helmut Schwichtenberg. An inverse of the evaluation functional for typed \u03bb-calculus. In Proc. of the 6th Annual IEEE Symposium on Logic in Computer Science, pages 203\u2013211, Amsterdam, The Netherlands, July 1991. IEEE Computer Society Press.","DOI":"10.1109\/LICS.1991.151645"},{"key":"15_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/3-540-58402-1_15","volume-title":"International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP\u2019 94)","author":"L. Birkedal","year":"1994","unstructured":"Lars Birkedal and Morten Welinder. Hand-writing program generator generators. In Manuel V. Hermenegildo and Jaan Penjam, editors, International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP\u2019 94), volume 844 of Lecture Notes in Computer Science, pages 198\u2013214, Madrid, Spain, September 1994. Springer-Verlag."},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(91)90035-V","volume":"17","author":"A. Bondorf","year":"1991","unstructured":"Anders Bondorf. Automatic autoprojection of higher order recursive equations. Science of Computer Programming, 17:3\u201334, 1991.","journal-title":"Science of Computer Programming"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Anders Bondorf. Improving binding times without explicit CPS-conversion. In Proc. 1992 ACM Conference on Lisp and Functional Programming, pages 1\u201310, San Francisco, California, USA, June 1992.","DOI":"10.1145\/141471.141483"},{"issue":"2","key":"15_CR8","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0167-6423(91)90002-F","volume":"16","author":"A. Bondorf","year":"1991","unstructured":"Anders Bondorf and Olivier Danvy. Automatic autoprojection of recursive equations with global variables and abstract data types. Science of Computer Programming, 16(2):151\u2013195, 1991.","journal-title":"Science of Computer Programming"},{"issue":"3","key":"15_CR9","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1017\/S0956796800000769","volume":"3","author":"Anders Bondorf and Jesper J\u00f8rgensen","year":"1993","unstructured":"Anders Bondorf and Jesper J\u00f8rgensen. Efficient analyses for realistic off-line partial evaluation. Journal of Functional Programming, 3(3):315\u2013346, July 1993.","journal-title":"Journal of Functional Programming"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF00271642","volume":"21","author":"M. A. Bulyonkov","year":"1984","unstructured":"Mikhail A. Bulyonkov. Polyvariant mixed computation for analyzer programs. Acta Informatica, 21:473\u2013484, 1984.","journal-title":"Acta Informatica"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Robert Cartwright and Mike Fagan. Soft typing. In Proc. Conference on Programming Language Design and Implementation\u2019 91, pages 278\u2013292, Toronto, June 1991. ACM.","DOI":"10.1145\/113445.113469"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Charles Consel and Olivier Danvy. Tutorial notes on partial evaluation. In Proc. 20th Annual ACM Symposium on Principles of Programming Languages, pages 493-501, Charleston, South Carolina, January 1993. ACM Press.","DOI":"10.1145\/158511.158707"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Charles Consel and Francois No\u00ebl. A general approach for run-time specialization and its application to C. In POPL1996 [39], pages 145\u2013156.","DOI":"10.1145\/237721.237767"},{"key":"15_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/3-540-61580-6_5","volume-title":"Dagstuhl Seminar on Partial Evaluation 1996","author":"O. Danvy","year":"1996","unstructured":"Olivier Danvy. Pragmatics of type-directed partial evaluation. Robert Gl\u00fcck, and Peter Thiemann, editors. Dagstuhl Seminar on Partial Evaluation 1996, volume 1110 of Lecture Notes in Computer Science, Schlo\u00df Dagstuhl, Germany, February 1996. Springer-Verlag In Danvy et al. [18], pages 73\u201394."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Olivier Danvy. Type-directed partial evaluation. In POPL1996 [39], pages 242\u2013257.","DOI":"10.1145\/237721.237784"},{"key":"15_CR16","volume-title":"Proc. Third Fuji International Symposium on Functional and Logic Programming","author":"O. Danvy","year":"1998","unstructured":"Olivier Danvy. Online type-directed partial evaluation. In Proc. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 1998. World Scientific Press, Singapore."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Olivier Danvy. A simple solution to type specialization. Technical Report RS-98-1, BRICS, University of Aarhus, Denmark, January 1998. To appear in ICALP98.","DOI":"10.7146\/brics.v5i1.19275"},{"key":"15_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Dagstuhl Seminar on Partial Evaluation 1996","year":"1996","unstructured":"Olivier Danvy, Robert Gl\u00fcck, and Peter Thiemann, editors. Dagstuhl Seminar on Partial Evaluation 1996, volume 1110 of Lecture Notes in Computer Science, Schlo\u00df Dagstuhl, Germany, February 1996. Springer-Verlag."},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Olivier Danvy, Karoline Malmkj\u00e6r, and Jens Palsberg. The essence of etaexpansion in partial evaluation. Lisp and Symbolic Computation, 8(3):209\u2013227, July 1995.","DOI":"10.1007\/BF01019004"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Olivier Danvy, Karoline Malmkj\u00e6r, and Jens Palsberg. Eta-expansion does The Trick. ACM Transactions on Programming Languages and Systems, 18(6):730\u2013751, November 1996.","DOI":"10.1145\/236114.236119"},{"key":"15_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/3-540-61756-6_85","volume-title":"International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP\u2019 96)","author":"O. Danvy","year":"1996","unstructured":"Olivier Danvy and Rene Vestergaard. Semantics-based compiling: A case study in type-directed partial evaluation. Doaitse Swierstra, editors. International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP\u2019 96), volume 1140 of Lecture Notes in Computer Science, Aachen, Germany, September 1996. Springer-Verlag In Kuchen and Swierstra [33], pages 182\u2013197."},{"issue":"2","key":"15_CR22","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1023\/A:1007763000430","volume":"10","author":"Robert Gl\u00fcck and Jesper J\u00f8rgensen","year":"1997","unstructured":"Robert Gl\u00fcck and Jesper J\u00f8rgensen. An automatic program generator for multilevel specialization. Lisp and Symbolic Computation, 10(2):113\u2013158, July 1997.","journal-title":"Lisp and Symbolic Computation"},{"key":"15_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-61580-6_8","volume-title":"Dagstuhl Seminar on Partial Evaluation 1996","author":"R. Gl\u00fcck","year":"1996","unstructured":"Robert Gl\u00fcck and Morten Heine S\u00f8rensen. A roadmap to metacomputation by supercompilation. Robert Gl\u00fcck, and Peter Thiemann, editors. Dagstuhl Seminar on Partial Evaluation 1996, volume 1110 of Lecture Notes in Computer Science, Schlo\u00df Dagstuhl, Germany, February 1996. Springer-Verlag In Danvy et al. [18], pages 137\u2013160."},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Carsten K. Gomard and Neil D. Jones. A partial evaluator for the untyped lambda-calculus. Journal of Functional Programming, 1(1):21\u201370, January 1991.","DOI":"10.1017\/S0956796800000058"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"William L. Harrison and Samuel N. Kamin. Modular compilers based on monad transformers. In IEEE International Conference on Computer Languages, ICCL 1998, Chicago, USA, May 1998. IEEE Computer Society Press.","DOI":"10.1109\/ICCL.1998.674163"},{"issue":"5","key":"15_CR26","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1017\/S0960129597002405","volume":"7","author":"J. Hatcliff","year":"1997","unstructured":"John Hatcliff and Olivier Danvy. A computational formalization for partial evaluation. Mathematical Structures in Computer Science, 7(5):507\u2013542, 1997.","journal-title":"Mathematical Structures in Computer Science"},{"key":"15_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/3540543961_22","volume-title":"Functional Programming Languages and Computer Architecture","author":"F. Henglein","year":"1991","unstructured":"Fritz Henglein. Efficient type inference for higher-order binding-time analysis. In Hughes [30], pages 448\u2013472."},{"key":"15_CR28","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0167-6423(94)00004-2","volume":"22","author":"F. Henglein","year":"1994","unstructured":"Fritz Henglein. Dynamic typing: Syntax and proof theory. Science of Computer Programming, 22:197\u2013230, 1994.","journal-title":"Science of Computer Programming"},{"key":"15_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/3540543961_23","volume-title":"Functional Programming Languages and Computer Architecture","author":"C. K. Holst","year":"1991","unstructured":"Carsten Kehler Holst. Finiteness analysis. In Hughes [30], pages 473\u2013495."},{"key":"15_CR30","series-title":"Lect Notes Comput Sci","volume-title":"Functional Programming Languages and Computer Architecture","year":"1991","unstructured":"John Hughes, editor. Functional Programming Languages and Computer Architecture, volume 523 of Lecture Notes in Computer Science, Cambridge, MA, 1991. Springer-Verlag."},{"key":"15_CR31","unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993."},{"key":"15_CR32","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3-540-15976-2_6","volume-title":"Rewriting Techniques and Applications","author":"N. D. Jones","year":"1985","unstructured":"Neil D. Jones, Peter Sestoft, and Harald S\u00f8ndergaard. An experiment in partial evaluation: The generation of a compiler generator. In J.-P. Jouannaud, editor, Rewriting Techniques and Applications, pages 124\u2013140, Dijon, France, 1985. Springer-Verlag. LNCS 202."},{"key":"15_CR33","series-title":"Lect Notes Comput Sci","volume-title":"International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP\u2019 96)","year":"1996","unstructured":"Herbert Kuchen and Doaitse Swierstra, editors. International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP\u2019 96), volume 1140 of Lecture Notes in Computer Science, Aachen, Germany, September 1996. Springer-Verlag."},{"key":"15_CR34","unstructured":"John Launchbury and Carsten Kehler Holst. Handwriting cogen to avoid problems with static typing. In Draft Proceedings, Fourth Annual Gl asgow Workshop on Functional Programming, pages 210\u2013218, Skye, Scotland, 1991. Glasgow University."},{"key":"15_CR35","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BFb0014551","volume-title":"Proc. Theoretical Aspects of Computer Software","author":"J. L. Lawall","year":"1997","unstructured":"Julia L. Lawall and Peter Thiemann. Sound specialization in the presence of computational effects. In Proc. Theoretical Aspects of Computer Software, volume 1281 of Lecture Notes in Computer Science, pages 165\u2013190, Sendai, Japan, September 1997. Springer-Verlag."},{"key":"15_CR36","unstructured":"John C. Mitchell. Foundations for Programming Languages. MIT Press, 1996."},{"key":"15_CR37","doi-asserted-by":"crossref","unstructured":"Flemming Nielson and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511526572"},{"key":"15_CR38","unstructured":"Larry C. Paulson. Compiler generation from denotational semantics. In Bernhard Lorho, editor, Methods and Tools for Compiler Construction, pages 219\u2013250. Cambridge University Press, 1984."},{"key":"15_CR39","unstructured":"Proc. 23rd Annual ACM Symposium on Principles of Programming Languages, St. Petersburg, Fla., January 1996. ACM Press."},{"key":"15_CR40","volume-title":"Master\u2019s thesis","author":"M. Rhiger","year":"1997","unstructured":"Morten Rhiger. A study in higher-order programming languages. Master\u2019s thesis, University of Aarhus, Aarhus, Denmark, December 1997."},{"key":"15_CR41","doi-asserted-by":"crossref","unstructured":"Tim Sheard. A type-directed, on-line, partial evaluator for a polymorphic language. In Charles Consel, editor, Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM\u2019 97, pages 22\u201335, Amsterdam, The Netherlands, June 1997. ACM Press.","DOI":"10.1145\/258993.258999"},{"key":"15_CR42","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1145\/232627.232647","volume-title":"Proc. International Conference on Functional Programming 1996","author":"P. Thiemann","year":"1996","unstructured":"Peter Thiemann. Cogen in six lines. In R. Kent Dybvig, editor, Proc. International Conference on Functional Programming 1996, pages 180\u2013189, Philadelphia, PA, May 1996. ACM Press, New York."},{"key":"15_CR43","doi-asserted-by":"crossref","unstructured":"Peter Thiemann. Correctness of a region-based binding-time analysis. In Proc. Mathematical Foundations of Programming Semantics, Thirteenth Annual Conference, volume 6 of Electronic Notes in Theoretical Computer Science, page 26, Pittsburgh, PA, March 1997. Carnegie Mellon University, Elsevier Science BV. URL: http:\/\/www.elsevier.nl\/locate\/entcs\/volume6.html .","DOI":"10.1016\/S1571-0661(05)80148-3"},{"key":"15_CR44","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1007\/BFb0030638","volume-title":"TAPSOFT\u2019 97: Theory and Practice of Software Development","author":"P. Thiemann","year":"1997","unstructured":"Peter Thiemann. A unified framework for binding-time analysis. In Michel Bidoit and Max Dauchet, editors, TAPSOFT\u2019 97: Theory and Practice of Software Development, volume 1214 of Lecture Notes in Computer Science, pages 742\u2013756, Lille, France, April 1997. Springer-Verlag."},{"key":"15_CR45","series-title":"Lect Notes Comput Sci","volume-title":"Partial Evaluation\u2014Practice and Theory. Proceedings of the 1998 DIKU International Summerschool","author":"P. Thiemann","year":"1999","unstructured":"Peter Thiemann. Aspects of the pgg system: Specialization for standard scheme. In John Hatcliff, Torben \u00c6. Mogensen, and Peter Thiemann, editors, Partial Evaluation\u2014Practice and Theory. Proceedings of the 1998 DIKU International Summerschool, Lecture Notes in Computer Science. Springer-Verlag, 1998."},{"key":"15_CR46","volume-title":"The PGG System-User Manual","author":"P. Thiemann","year":"1998","unstructured":"Peter Thiemann. The PGG System-User Manual. University of Nottingham, Nottingham, England, June 1998. Available from ftp:\/\/ftp.informatik.uni-tuebingen.de\/pub\/PU\/thiemann\/software\/pgg\/ ."}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science ASIAN 98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49366-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T10:17:09Z","timestamp":1556965029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49366-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653882","9783540493662"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/3-540-49366-2_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}