{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:58Z","timestamp":1751983678412},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_94","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:49:12Z","timestamp":1330210152000},"page":"135-146","source":"Crossref","is-referenced-by-count":7,"title":["Semantics-directed generation of a Prolog compiler"],"prefix":"10.1007","author":[{"given":"Charles","family":"Consel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siau Cheng","family":"Khoo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"12_CR1","unstructured":"D. Bj\u00f8rner, A. P. Ershov, and N. D. Jones, editors. Partial Evaluation and Mixed Computation. North-Holland, 1988."},{"key":"12_CR2","unstructured":"A. Bondorf and O. Danvy. Automatic autoprojection of recursive equations with global variables and abstract data types. DIKU Research Report 90\/04, University of Copenhagen, Copenhagen, Denmark, 1990. To appear in Science of Computer Programming."},{"key":"12_CR3","unstructured":"W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag, 1981."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"C. Consel. New insights into partial evaluation: the Schism experiment. In H. Ganzinger, editor, ESOP'88, 2 nd European Symposium on Programming, volume 300 of Lecture Notes in Computer Science, pages 236\u2013246. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-19027-9_16"},{"key":"12_CR5","volume-title":"Analyse de Programmes, Evaluation Partielle et G\u00e9n\u00e9ration de Compilateurs","author":"C. Consel","year":"1989","unstructured":"C. Consel. Analyse de Programmes, Evaluation Partielle et G\u00e9n\u00e9ration de Compilateurs. PhD thesis, Universit\u00e9 de Paris VI, Paris, France, June 1989."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"C. Consel. Binding time analysis for higher order untyped functional languages. In ACM Conference on Lisp and Functional Programming, pages 264\u2013272, 1990.","DOI":"10.1145\/91556.91668"},{"key":"12_CR7","volume-title":"The Schism Manual","author":"C. Consel","year":"1990","unstructured":"C. Consel. The Schism Manual. Yale University, New Haven, Connecticut, USA, 1990. Version 1.0."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"C. Consel and O. Danvy. For a better support of static data flow. In FPCA'91, 5 th International Conference on Functional Programming Languages and Computer Architecture, 1991. To appear.","DOI":"10.1007\/3540543961_24"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"C. Consel and O. Danvy. Static and dynamic semantics processing. In ACM Symposium on Principles of Programming Languages, pages 14\u201323, 1991.","DOI":"10.1145\/99583.99588"},{"key":"12_CR10","series-title":"Research Report","volume-title":"Semantics-directed generation of a Prolog compiler","author":"C. Consel","year":"1990","unstructured":"C. Consel and S.C. Khoo. Semantics-directed generation of a Prolog compiler. Research Report 781, Yale University, New Haven, Connecticut, USA, 1990. Extended version."},{"key":"12_CR11","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0743-1066(88)90007-6","volume":"5","author":"S.K. Debray","year":"1988","unstructured":"S.K. Debray and P. Mishra. Denotational and operational semantic for prolog. Journal of Logic Programming, 5:61\u201391, 1988.","journal-title":"Journal of Logic Programming"},{"key":"12_CR12","series-title":"Technical Report","volume-title":"Transliterating Prolog into Scheme","author":"M. Felleisen","year":"1985","unstructured":"M. Felleisen. Transliterating Prolog into Scheme. Technical Report 182, Indiana University, Bloomington, Indiana, 1985."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"H. Fujita and K. Furukawa. A self-applicable partial evaluator and its use in incremental compiler. In Y. Futamura, editor, New Generation Computing, volume 6 of 2,3. OHMSHA. LTD. and Springer-Verlag, 1988.","DOI":"10.1007\/BF03037133"},{"key":"12_CR14","unstructured":"D. A. Fuller and S. Abramsky. Mixed computation of Prolog. In D. Bj\u00f8rner, A. P. Ershov, and N. D. Jones, editors, Partial Evaluation and Mixed Computation. North-Holland, 1988."},{"key":"12_CR15","unstructured":"N. D. Jones and A. Mycroft. Stepwise development of operational and denotational semantics for Prolog. In IEEE International Symposium on Logic Programming, pages 289\u2013298, 1984."},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"N. D. Jones, P. Sestoft, and H. S\u00f8ndergaard. An experiment in partial evaluation: the generation of a compiler generator. In J.-P. Jouannaud, editor, Rewriting Techniques and Applications, Dijon, France, volume 202 of Lecture Notes in Computer Science, pages 124\u2013140. Springer-Verlag, 1985.","DOI":"10.1145\/988346.988358"},{"issue":"1","key":"12_CR17","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"N. D. Jones","year":"1989","unstructured":"N. D. Jones, P. Sestoft, and H. 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":"12_CR18","unstructured":"K. M. Kahn and M. Carlsson. The compilation of Prolog programs without the use of Prolog compiler. In International Conference on Fifth Generation Computer Systems, pages 348\u2013355, 1984."},{"key":"12_CR19","volume-title":"A specification of an abstract Prolog machine and its application to partial evaluation","author":"H. J. Komorowski","year":"1981","unstructured":"H. J. Komorowski. A specification of an abstract Prolog machine and its application to partial evaluation. Linkoping studies in science and technology dissertations no 69, Linkoping University, Linkoping, Sweden, 1981."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"H. J. Komorowski. Partial evaluation as a means for inferencing data structures in an applicative language: A theory and implementation in the case of Prolog. In ACM Symposium on Principles of Programming Languages, 1982.","DOI":"10.1145\/582153.582181"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"P. Lee and U. F. Pleban. On the use of Lisp in implementing denotational semantics. In ACM Conference on Lisp and Functional Programming, pages 233\u2013248, 1986.","DOI":"10.1145\/319838.319866"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"T. Nicholson and N. Foo. A denotational semantics for Prolog. ACM Transactions on Programming Languages and Systems, 11(4), 1989.","DOI":"10.1145\/69558.69564"},{"issue":"12","key":"12_CR23","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/15042.15043","volume":"21","author":"J. Rees","year":"1986","unstructured":"J. Rees and W. Clinger. Revised3 report on the algorithmic language Scheme. SIGPLAN Notices, 21(12):37\u201379, 1986.","journal-title":"SIGPLAN Notices"},{"key":"12_CR24","unstructured":"D. A. Schmidt. Denotational Semantics: a Methodology for Language Development. Allyn and Bacon, Inc., 1986."},{"key":"12_CR25","unstructured":"P. Sestoft. Automatic call unfolding in a partial evaluator. In D. Bj\u00f8rner, A. P. Ershov, and N. D. Jones, editors, Partial Evaluation and Mixed Computation. North-Holland, 1988."},{"key":"12_CR26","unstructured":"R. Venken. A Prolog meta-interpreter for partial evaluation and its application to source to source transformation and query-optimisation. In T. O'Shea, editor, ECAI'84. North-Holland, 1988."},{"issue":"6","key":"12_CR27","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/502949.502895","volume":"19","author":"M. Wand","year":"1984","unstructured":"M. Wand. A semantic prototyping system. SIGPLAN Notices, ACM Symposium on Compiler Construction, 19(6):213\u2013221, 1984.","journal-title":"SIGPLAN Notices, ACM Symposium on Compiler Construction"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54444-5_94.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:43Z","timestamp":1605646483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_94"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_94","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}