{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T02:20:08Z","timestamp":1648693208578},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540587927","type":"print"},{"value":"9783540491040","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58792-6_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:44:40Z","timestamp":1330274680000},"page":"215-230","source":"Crossref","is-referenced-by-count":5,"title":["Logic programming and logic grammars with first-order continuations"],"prefix":"10.1007","author":[{"given":"Paul","family":"Tarau","sequence":"first","affiliation":[]},{"given":"Veronica","family":"Dahl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"14_CR1","volume-title":"The design and analysis of parallel algorithms","author":"S. Akl","year":"1989","unstructured":"S. Akl. The design and analysis of parallel algorithms. Prentice Hall, Englewood Cliffs, 1989."},{"key":"14_CR2","volume-title":"Linear objects: Logical processes with built-in inheritance","author":"J.-M. Andreoli","year":"1990","unstructured":"J.-M. Andreoli and R. Pareschi. Linear objects: Logical processes with built-in inheritance. In D. Warren and P. Szeredi, editors, 7th Int. Conf. Logic Programming, Jerusalem, Israel, 1990. MIT Press."},{"key":"14_CR3","unstructured":"J. Andrews, V. Dahl, and F. Popowich. A Relevance Logic Characterization of Static Discontinuity Grammars. Technical report, CSS\/LCCR TR 91-12, Simon Fraser University, 1991."},{"key":"14_CR4","unstructured":"P. Brisset. Compilation de \u03bbProlog. Th\u00e8se, Universit\u00e9 de Rennes I, 1992."},{"key":"14_CR5","first-page":"287","volume-title":"Lecture Notes in Computer Science","author":"W. Chen","year":"1991","unstructured":"W. Chen and D. S. Warren. Compilation of predicate abstractions in higher-order logic programming. In J. Maluszy\u0144ski and M. Wirsing, editors, Proceedings of the 3rd Int. Symposium on Programming Language Implementation and Logic Programming, PLILP91, Passau, Germany, number 528 in Lecture Notes in Computer Science, pages 287\u2013298. Springer Verlag, Aug. 1991."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"A. Colmerauer. Metamorphosis Grammars, volume 63, pages 133\u2013189. Springer-Verlag, 1978.","DOI":"10.1007\/BFb0031371"},{"key":"14_CR7","volume-title":"Technical report","author":"A. Colmerauer","year":"1973","unstructured":"A. Colmerauer, H. Kanoui, R. Pasero, and P. Roussel. Un systeme de communication homme-machine en francais. Technical report, Groupe d'Intelligence Artificielle, Universite d'Aix-Marseille II, Marseille, 1973."},{"key":"14_CR8","first-page":"149","volume":"13","author":"V. Dahl","year":"1981","unstructured":"V. Dahl. Translating Spanish into logic through logic. American Journal of Computational Linguistics, 13:149\u2013164, 1981.","journal-title":"American Journal of Computational Linguistics"},{"issue":"4","key":"14_CR9","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1111\/j.1467-8640.1989.tb00326.x","volume":"5","author":"V. Dahl","year":"1989","unstructured":"V. Dahl. Discontinuous grammars. Computational Intelligence, 5(4):161\u2013179, 1989.","journal-title":"Computational Intelligence"},{"key":"14_CR10","first-page":"195","volume-title":"Proceedings of the 1990 North American Conference on Logic Programming","author":"J.-M. Jacquet","year":"1990","unstructured":"J.-M. Jacquet and L. Monteiro. Comparative semantics for a parallel contextual logic programming language. In S. Debray and M. Hermenegildo, editors, Proceedings of the 1990 North American Conference on Logic Programming, pages 195\u2013214, Cambridge, Massachusetts London, England, 1990. MIT Press."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"14_CR12","first-page":"255","volume-title":"Extending the semantics of logic programs to disjunctive logic programs","author":"J. Lobo","year":"1989","unstructured":"J. Lobo, J. Minker, and A. Rajasekar. Extending the semantics of logic programs to disjunctive logic programs. In G. Levi and M. Martelli, editors, Proceedings of the Sixth International Conference on Logic Programming, pages 255\u2013267, Cambridge, Massachusetts London, England, 1989. MIT Press."},{"key":"14_CR13","unstructured":"J. Maluszy\u0144ski. On the relationship between context-dependent grammars and multi-headed clauses., June 1994. Personal Communication."},{"issue":"4","key":"14_CR14","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1093\/logcom\/1.4.497","volume":"1","author":"D. Miller","year":"1991","unstructured":"D. Miller. A logic programming language with lambda-abstraction, function variables, and simple unification. J. Logic and Computation, 1(4):497\u2013536, 1991.","journal-title":"J. Logic and Computation"},{"key":"14_CR15","first-page":"268","volume-title":"Lexical scoping as universal quantification","author":"D. A. Miller","year":"1989","unstructured":"D. A. Miller. Lexical scoping as universal quantification. In G. Levi and M. Martelli, editors, Proceedings of the Sixth International Conference on Logic Programming, pages 268\u2013283, Cambridge, Massachusetts London, England, 1989. MIT Press."},{"key":"14_CR16","first-page":"284","volume-title":"Proceedings of the Sixth International Conference on Logic Programming","author":"L. Monteiro","year":"1989","unstructured":"L. Monteiro and A. Porto. Contextual logic programming. In G. Levi and M. Martelli, editors, Proceedings of the Sixth International Conference on Logic Programming, pages 284\u2013299, Cambridge, Massachusetts London, England, 1989. MIT Press."},{"key":"14_CR17","first-page":"243","volume":"7","author":"F. Pereira","year":"1981","unstructured":"F. Pereira. Extraposition grammars. American Journal for Computational Linguistics, 7:243\u2013256, 1981.","journal-title":"American Journal for Computational Linguistics"},{"key":"14_CR18","unstructured":"M. Proietti. On the definition of binarization in terms of fold\/unfold., June 1994. Personal Communication."},{"key":"14_CR19","first-page":"347","volume-title":"number 528 in Lecture Notes in Computer Science","author":"M. Proietti","year":"1991","unstructured":"M. Proietti and A. Pettorossi. Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs. In J. Maluszy\u0144ski and M. Wirsing, editors, Proceedings of the 3rd Int. Symposium on Programming Language Implementation and Logic Programming, PLILP91, Passau, Germany, number 528 in Lecture Notes in Computer Science, pages 347\u2013358. Springer Verlag, Aug. 1991."},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"P. Prusinkiewicz and J. Hanan. L-systems: from formalism to programming languages. Springer-Verlag, 1992.","DOI":"10.1007\/978-3-642-58117-5_12"},{"key":"14_CR21","volume-title":"Logic Programming Proceedings of the 1991 International Symposium","author":"D. W. Reed","year":"1991","unstructured":"D. W. Reed, D. W. Loveland, and B. T. Smith. An alternative characterization of disjunctive logic programs. In V. Saraswat and K. Ueda, editors, Logic Programming Proceedings of the 1991 International Symposium, pages 54\u201370, Cambridge, Massachusetts London, England, 1991. MIT Press."},{"key":"14_CR22","volume-title":"Denotational Semantics: the Scott-Strachey Approach to Programming Language Theory","author":"J. Stoy","year":"1977","unstructured":"J. Stoy. Denotational Semantics: the Scott-Strachey Approach to Programming Language Theory. Cambridge, MA. The MIT Press, 1977."},{"key":"14_CR23","first-page":"462","volume-title":"number 592 in Lecture Notes in Artificial Intelligence","author":"P. Tarau","year":"1992","unstructured":"P. Tarau. Program Transformations and WAM-support for the Compilation of Definite Metaprograms. In A. Voronkov, editor, Logic Programming, RCLP Proceedings, number 592 in Lecture Notes in Artificial Intelligence, pages 462\u2013473, Berlin, Heidelberg, 1992. Springer-Verlag."},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"P. Tarau and M. Boyer. Elementary Logic Programs. In P. Deransart and J. Ma\u0142uszy\u0144ski, editors, Proceedings of Programming Language Implementation and Logic Programming, number 456 in Lecture Notes in Computer Science, pages 159\u2013173. Springer, Aug. 1990.","DOI":"10.1007\/BFb0024183"},{"key":"14_CR25","series-title":"Workshops in Computing","volume-title":"Logic Program Synthesis and Transformation","author":"P. Tarau","year":"1993","unstructured":"P. Tarau and K. De Bosschere. Memoing with Abstract Answers and Delphi Lemmas. In Y. Deville, editor, Logic Program Synthesis and Transformation, Springer-Verlag, Workshops in Computing, Louvain-la-Neuve, July 1993."},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"P. Wadler. Monads and composable continuations. Lisp and Symbolic Computation, pages 1\u201317, 1993.","DOI":"10.1007\/BF01019944"},{"issue":"1","key":"14_CR27","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1145\/322169.322183","volume":"27","author":"M. Wand","year":"1980","unstructured":"M. Wand. Continuation-based program transformation strategies. Journal of the Association for Computing Machinery, 27(1):164\u2013180, 1980.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"14_CR28","unstructured":"D. H. D. Warren. Higher-order extensions to Prolog \u2014 are they needed? In D. Michie, J. Hayes, and Y. H. Pao, editors, Machine Intelligence 10. Ellis Horwood, 1981."},{"key":"14_CR29","volume-title":"Technical report","author":"D. S. Warren","year":"1992","unstructured":"D. S. Warren. The XOLDT System. Technical report, SUNY Stony Brook, electronic document: ftp sbcs.sunysb.edu, 1992."}],"container-title":["Logic Program Synthesis and Transformation \u2014 Meta-Programming in Logic","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58792-6_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:24:07Z","timestamp":1605648247000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58792-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540587927","9783540491040"],"references-count":29,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-58792-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1994]]}}}