{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:08Z","timestamp":1725664028190},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578802"},{"type":"electronic","value":"9783540483762"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57880-3_29","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:37:12Z","timestamp":1330263432000},"page":"439-453","source":"Crossref","is-referenced-by-count":2,"title":["A tiny constraint functional logic language and its continuation semantics"],"prefix":"10.1007","author":[{"given":"Andy","family":"M\u00fcck","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Streicher","sequence":"additional","affiliation":[]},{"given":"Hendrik C. R.","family":"Lock","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"E. Astesiano, G. Costa: Sharing in Nondeterminism. In 6th International Conference on Automata, Languages and Programming, LNCS 71, Springer Verlag 1979.","key":"29_CR1","DOI":"10.1007\/3-540-09510-1_1"},{"unstructured":"H.P. Barendregt. The Lambda Calculus. Its Syntax and Semantics. North Holland, 1984.","key":"29_CR2"},{"unstructured":"P.G. Bosco, E. Giovanetti, G. Levi, C. Palamedessi: A Complete Semantic Characterization of K-LEAF, a Logic Language with Partial Functions. In Proc. 4th Symposium on Logic Programming, San Francisco, pp. 318\u2013327. 1987.","key":"29_CR3"},{"issue":"1","key":"29_CR4","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"R.M. Burstall, J. Darlington: A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1), pp. 44\u201367, 1977.","journal-title":"Journal of the ACM"},{"issue":"7","key":"29_CR5","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J. Cohen","year":"1990","unstructured":"J. Cohen: Constraint Logic Programming Languages. In CACM 33 (7), pp. 52\u201368, 1990.","journal-title":"CACM"},{"issue":"7","key":"29_CR6","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"A. Colmerauer: An Introduction to Prolog III. Communications of the ACM, 33 (7), pp. 52\u201368, 1990.","journal-title":"Communications of the ACM"},{"unstructured":"J.N. Crossley, L. Mandel, M. Wirsing: Untyped Constraint Lambda Calculus is Weakly Church Rosser, Proc. NATO-ASI Constraint Programming Summer School, P\u00e4rnu, Estonia, 1993. An extended version of this paper appears as a Research Report, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 1993.","key":"29_CR7"},{"key":"29_CR8","volume-title":"Technical Report","author":"J. Darlington","year":"1992","unstructured":"J. Darlington, Y. Guo, H. Pull: A New Perspective in Integrating Functional and Logic Languages. Technical Report, Imperial College London, 1992."},{"key":"29_CR9","first-page":"161","volume-title":"First-Order Unification in an Equational Theory","author":"M.J. Fay","year":"1979","unstructured":"M.J. Fay: First-Order Unification in an Equational Theory. In Proc. 4th Workshop on Automated Deduction, pp. 161\u2013167, Austin (Texas). Academic Press, 1979."},{"unstructured":"M. Felleisen, D. Sitaram: Reasoning with Continuations II: Full Abstraction for Models of Control. In Proc ACM Conference in Lisp and Functional Programming, pp. 161\u2013175, ACM Press, 1990.","key":"29_CR10"},{"key":"29_CR11","series-title":"LNAI 636","first-page":"3","volume-title":"Summer School in Logic Programming","author":"T. Fr\u00fchwirth","year":"1992","unstructured":"T. Fr\u00fchwirth, A. Herold, V. K\u00fcchenhoff, T. Le Provost, P. Lim, E. Monfroy, M. Wallace: Constraint Logic Programming \u2014 an Informal Introduction. Summer School in Logic Programming, Z\u00fcrich, LNAI 636, pp. 3\u201335, Springer Verlag, 1992."},{"doi-asserted-by":"crossref","unstructured":"M. Hanus: Efficient Implementation of Narrowing and Rewriting. In Proc. International Workshop on Processing Declarative Knowledge, pp. 344\u2013365. LNAI 567, Springer Verlag, 1991.","key":"29_CR12","DOI":"10.1007\/BFb0013543"},{"key":"29_CR13","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0304-3975(80)90015-8","volume":"11","author":"M.C.B. Hennessy","year":"1980","unstructured":"M.C.B. Hennessy, E.A. Ashcroft. A Mathematical Semantics for a Nondeterministic Typed \u03bb-calculus. Theoretical Computer Science, 11, pp. 227\u2013245, 1980.","journal-title":"Theoretical Computer Science"},{"unstructured":"P. van Hentenryck: Constraint Satisfaction in Logic Programming. MIT Press, 1989.","key":"29_CR14"},{"key":"29_CR15","first-page":"111","volume-title":"Constraint Logic Programming","author":"J. Jaffar","year":"1987","unstructured":"J. Jaffar, J.-L. Lassez: Constraint Logic Programming. In Proc. of the 14th ACM Symposium on Principles of Programming Languages, Munich (Germany), pp. 111\u2013119. ACM Press, 1987."},{"doi-asserted-by":"crossref","unstructured":"J. Jaffar, S. Michaylov, P. Stuckey, R. Yap: The CLP(R) Language and System. ACM Transactions on Programming Languages and Systems, pp. 339\u2013395, 1992.","key":"29_CR16","DOI":"10.1145\/129393.129398"},{"doi-asserted-by":"crossref","unstructured":"H. Kuchen, R. Loogen, J.J. Moreno-Navarro, M. Rodriguez-Artalejo: Graphbased Implementation of a Functional Logic Language. In Proc. ESOP 90, pp. 271\u2013290. LNCS 432, Springer Verlag, 1990.","key":"29_CR17","DOI":"10.1007\/3-540-52592-0_69"},{"unstructured":"Y. Lafont, B. Reus, Th. Streicher: From Continuation Semantics to Abstract Machines, unpublished manuscript, 1993.","key":"29_CR18"},{"unstructured":"H.C.R.Lock: The Implementation of Functional Logic Programming Languages, Oldenbourg-Verlag 1993.","key":"29_CR19"},{"key":"29_CR20","first-page":"213","volume-title":"LNCS 632","author":"F.J. Lopez-Fraguas","year":"1992","unstructured":"F.J. Lopez-Fraguas: A General Scheme for Constraint Functional Logic Programming. In Proc. 3rd. International Conference on Algebraic and Logic Programming, Volterra (Italy), pp. 213\u2013227. LNCS 632, Springer Verlag 1992."},{"unstructured":"L. Mandel, A. M\u00fcck, Th. Streicher: A New Approach to Constraint Functional Logic Programming. Forthcoming Research Report, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 1993.","key":"29_CR21"},{"issue":"4","key":"29_CR22","first-page":"497","volume":"1","author":"D. Miller","year":"1991","unstructured":"D. Miller: A Logic Programming Language with Lambda Abstraction, Functional Variables and Simple Unification. Journal of Logic Programming, 1 (4), pp. 497\u2013536, 1991.","journal-title":"Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"A. M\u00fcck: Compilation of Narrowing. In Proc. of the 2nd International Workshop on Programming Language Implementation and Logic Programming, pp. 16\u201329. LNCS 456, Springer Verlag, 1990.","key":"29_CR23","DOI":"10.1007\/BFb0024173"},{"key":"29_CR24","volume-title":"Declarative Programming","author":"R. Paterson","year":"1991","unstructured":"R. Paterson: A Tiny Functional Language with Logical Features, Declarative Programming, Sassbachwalden, Springer, 1991."},{"unstructured":"U.S. Reddy: Narrowing as the Operational Semantics of Functional Languages. Proc IEEE Symposium on Logic Programming, pp. 138\u2013151, 1985.","key":"29_CR25"},{"key":"29_CR26","volume-title":"Technical Note 309","author":"D.H.D. Warren","year":"1993","unstructured":"D.H.D. Warren: An Abstract Prolog Instruction Set. Technical Note 309, SRI International, Menlo Park, California, 1993."},{"doi-asserted-by":"crossref","unstructured":"M. Wirsing: Algebraic Specification. In J. van Leeuwen (ed.): Handbook of Theoretical Computer Science, pp. 675\u2013788, Elsevier Science Publishers, 1990.","key":"29_CR27","DOI":"10.1016\/B978-0-444-88074-1.50018-4"},{"doi-asserted-by":"crossref","unstructured":"D. Wolz: Design of a Compiler for Lazy Pattern Driven Narrowing. In Recent Trends in Data Type Specifications, pp. 362\u2013379. LNCS 543, Springer Verlag, 1990.","key":"29_CR28","DOI":"10.1007\/3-540-54496-8_19"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems \u2014 ESOP '94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57880-3_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:20Z","timestamp":1605647720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57880-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578802","9783540483762"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-57880-3_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}