{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:35:23Z","timestamp":1725712523892},"publisher-location":"London","reference-count":17,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540196679"},{"type":"electronic","value":"9781447138105"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-1-4471-3810-5_15","type":"book-chapter","created":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T11:31:29Z","timestamp":1357817489000},"page":"177-195","source":"Crossref","is-referenced-by-count":4,"title":["Generating a Pattern Matching Compiler by Partial Evaluation"],"prefix":"10.1007","author":[{"given":"Jesper","family":"J\u00f8rgensen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"J.-P. Jouannaud, editor, Conference on Functional Programming Languages and Computer Architecture, Nancy, France. Lecture Notes in Computer Science 201, pages 368-381, Springer-Verlag","author":"Lennart Augustsson","year":"1985","unstructured":"Lennart Augustsson. Compiling pattern matching. In J.-P. Jouannaud, editor, Conference on Functional Programming Languages and Computer Architecture, Nancy, France. Lecture Notes in Computer Science\n                201, pages 368\u2013381, Springer-Verlag, 1985."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Anders Bondorf. Automatic autoprojection of higher order recursive equations. In Neil D. Jones, editor, ESOP\u201990, Copenhagen, Denmark. Lecture Notes in Computer Science\n                432, pages 70\u201387, Springer-Verlag, May 1990.","DOI":"10.1007\/3-540-52592-0_56"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Anders Bondorf. Compiling laziness by partial evaluation. In 1990 Glasgow Workshop on Functional Programming, Ullapool, Computing Science Department, Glasgow University, Glasgow, Scotland, 1990.","DOI":"10.1007\/978-1-4471-3810-5_2"},{"key":"15_CR4","volume-title":"Automatic autoprojection of recursive equations with global variables and abstract data types. Technical Report 90-4, DIKU","author":"A Bondorf","year":"1990","unstructured":"Anders Bondorf and Olivier Danvy. Automatic autoprojection of recursive equations with global variables and abstract data types. Technical Report 90\u20134, DIKU, University of Copenhagen, Denmark, 1990."},{"issue":"2","key":"15_CR5","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0020-0190(89)90113-0","volume":"30","author":"C Consel","year":"1989","unstructured":"Charles Consel and Olivier Danvy. Partial evaluation of pattern matching in strings. Information Processing Letters, 30 (2): 79\u201386, 1989.","journal-title":"Information Processing Letters"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"P\u00e4r Emanuelson. From abstract model to efficient compilation of patterns. In M. Dezani-Ciancaglini and U. Montanan, editors, International Symposium on Programming, 5th Colloquium, Turin, Lecture Notes in Computer Science\n                137, pages 91\u2013104, Springer-Verlag, April 1982.","DOI":"10.1007\/3-540-11494-7_8"},{"key":"15_CR7","volume-title":"Dines Bjorner, Andrei P. Ershov, and Neil D. Jones, editors, Partial Evaluation and Mixed Computation, pages 133-151, North-Holland","author":"Y Futamura","year":"1988","unstructured":"Yoshihiko Futamura and Kenroku Nogi. Genreralized partial computation. In Dines Bjorner, Andrei P. Ershov, and Neil D. Jones, editors, Partial Evaluation and Mixed Computation, pages 133\u2013151, North-Holland, 1988."},{"key":"15_CR8","unstructured":"Neil D. Jones, Carsten K. Cornard, Anders Bondorf, Olivier Danvy, and Tor-ben \u00c6. Mogensen. A self-applicable partial evaluator for the lambda calculus. In IEEE Computer Society 1990 International Conference on Computer Languages, IEEE, March 1990."},{"key":"15_CR9","volume-title":"J.-P. Jouannaud, editor, Rewriting Techniques and Applications, Dijon, France. Lecture Notes in Computer Science 202, pages 124-140, Springer-Verlag","author":"N Jones","year":"1985","unstructured":"Neil D. Jones, Peter Sestoft, and Harald Sondergaard. An experiment in partial evaluation: the generation of a compiler generator. In J.-P. Jouannaud, editor, Rewriting Techniques and Applications, Dijon, France. Lecture Notes in Computer Science\n                202, pages 124\u2013140, Springer-Verlag, 1985."},{"issue":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1137\/0206024","volume":"6","author":"D Knuth","year":"1977","unstructured":"Donald E. Knuth, James H. Morris, and Vaughan R. Pratt. Fast pattern matching in strings. Siam Journal on Computing, 6 (2): 323\u2013350, 1977.","journal-title":"Siam Journal on Computing"},{"volume-title":"Report on the programming language Haskell","year":"1990","key":"15_CR11","unstructured":"Paul Hudak and Philip Wadler, editors. Report on the programming language Haskell. Technical Report, Yale University and Glasgow University, April 1990."},{"issue":"12","key":"15_CR12","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/15042.15043","volume":"21","author":"J Rees","year":"1986","unstructured":"Jonathan Rees and William Clinger. Revised reporta on the algorithmic language scheme. Sigplan Notices, 21 (12): 37\u201379, December 1986.","journal-title":"Sigplan Notices"},{"key":"15_CR13","volume-title":"Schmidt. De notational Semantics, a Methodology for Language Development","author":"A David","year":"1986","unstructured":"David A. Schmidt. De notational Semantics, a Methodology for Language Development. Allyn and Bacon, Boston, 1986."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Peter Sestoft. The structure of a self-applicable partial evaluator. In Harald Ganzinger and Neil D. Jones, editors, Programs as Data Objects, Copenhagen, Denmark. Lecture Notes in Computer Science\n                217, pages 236\u2013256, Springer-Verlag, October 1985.","DOI":"10.1007\/3-540-16446-4_14"},{"issue":"3","key":"15_CR15","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"F Valentin","year":"1986","unstructured":"Valentin F. Turchin. The concept of a supercompiler. Transactions on Programming Languages and Systems, 8 (3): 292\u2013325, 1986.","journal-title":"Transactions on Programming Languages and Systems"},{"issue":"12","key":"15_CR16","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1145\/15042.15053","volume":"21","author":"David Turner","year":"1986","unstructured":"David Turner. An overview of Miranda. Sigplan Notices, 21 (12): 158\u2013166, December 1986.","journal-title":"Sigplan Notices"},{"key":"15_CR17","volume-title":"Simon L. Peyton Jones, editor, The Implementation of Functional Programming Languages, chapter 5, pages 78-103, Prentice-Hall","author":"Philip Wadler","year":"1987","unstructured":"Philip Wadler. Efficient compilation of pattern-matching. In Simon L. Peyton Jones, editor, The Implementation of Functional Programming Languages, chapter 5, pages 78\u2013103, Prentice-Hall, 1987."}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1990"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3810-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T08:32:20Z","timestamp":1557477140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3810-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540196679","9781447138105"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3810-5_15","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1991]]}}}