{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:16Z","timestamp":1725663856481},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539810"},{"type":"electronic","value":"9783540464990"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540539816_68","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:19:09Z","timestamp":1330190349000},"page":"201-216","source":"Crossref","is-referenced-by-count":1,"title":["Exploiting non-determinism through laziness in guarded functional languages"],"prefix":"10.1007","author":[{"given":"Roland","family":"Dietrich","sequence":"first","affiliation":[]},{"given":"Hendrik C. R.","family":"Lock","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"14_CR1","unstructured":"Alexander Bockmayr. Conditional rewriting and narrowing as a theoretical framework for logic-functional programming \u2014 a survey. SEKI MEMO, Univ. Kaiserslautern and Univ. Karlsruhe, 1986."},{"key":"14_CR2","first-page":"379","volume":"3","author":"A. Bockmayr","year":"1987","unstructured":"A. Bockmayr. A Note on a Canonical Theory with Undecidable Unification and Matching Problem. J. Autmated Reasoning 3, pages 379\u2013381, 1987.","journal-title":"J. Autmated Reasoning"},{"key":"14_CR3","unstructured":"A. Bockmayr. Beitr\u00e4ge zur Theorie des logisch-funktionalen Programmierens. PhD thesis, Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik, July 1990."},{"issue":"1","key":"14_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. Clark","year":"1986","unstructured":"Keith Clark and Steve Gregory. PARLOG: Parallel Programming in Logic. ACM TOPLAS, 8(1):1\u201349, Jan. 1986.","journal-title":"ACM TOPLAS"},{"key":"14_CR5","first-page":"37","volume-title":"Logic Programming","author":"J. Darlington","year":"1986","unstructured":"J. Darlington, A.J. Field, and H. Pull. The unification of functional and logic languages. In D. DeGroot and G. Lindstrom, editors, Logic Programming, pages 37\u201370. Prentice-Hall, Englewood Cliffs, New Jersey, 1986."},{"key":"14_CR6","unstructured":"John Darlington and Yike Guo. Constraint functional programming. Technical report, Imperial College, November 1989."},{"key":"14_CR7","unstructured":"J. Darlington and Yi-Ke Guo. Constraint Equational Deduction. In Proc. CTRS'90, Montreal, Canada, June 1990. (to appear in LNCS)."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"E.W. Dijkstra. Guarded Commands, nondeterminacy and formal derivation of programs. CACM, 18(8), Aug. 1975.","DOI":"10.1145\/360933.360975"},{"key":"14_CR9","unstructured":"Yi-Ke Guo and H. C. R. Lock. A Classification Scheme for Declarative Programming Languages. \u2014 Syntax, Semantics, and Operational Models. GMD-Studien Nr. 182, August 1990."},{"key":"14_CR10","first-page":"158","volume":"343","author":"H.-J. Goltz","year":"1988","unstructured":"H.-J. Goltz. Functional Data Term Models and Semantic Unification. In J. Grabowski, P. Lescanne, and W. Wechler, editors, Proc. Int. Workshop on Algebraic and Logic Programming, Gaussig, GDR, pages 158\u2013167. LNCS 343, November 1988.","journal-title":"LNCS"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Steffen H\u00f6lldobler. Foundation of Equational Logic Programming. LNAI 353. Springer Verlag, 1989.","DOI":"10.1007\/BFb0015791"},{"key":"14_CR12","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(84)90087-2","volume":"33","author":"S. Kaplan","year":"1984","unstructured":"S. Kaplan. Conditional rewrite rules. Journal of Theoretical Computer Science, 33:175\u2013193, 1984.","journal-title":"Journal of Theoretical Computer Science"},{"key":"14_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1984","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer Verlag, Heidelberg, 1984."},{"key":"14_CR14","unstructured":"Hendrik C.R. Lock. Guarded Term ML. In Workshop on Implementations of Lazy Functional Languages, Aspenas, Sept. 1988. Report 53, PMG, Univ. of Goteborg, Sweden."},{"key":"14_CR15","unstructured":"Hendrik C.R. Lock. An amalgamation of functional and logic programming languages. GMD Forschungsstelle an der Universit\u00e4t Karlsruhe, GMD-report 408, Sept 1989."},{"key":"14_CR16","unstructured":"H. C. R. Lock. The Implementation of Functional Logic Programming Languages. PHOENIX report GMD\/Phoenix\/13\/1, GMD Research Laboratory Karlsruhe, 1990."},{"issue":"3","key":"14_CR17","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1145\/69558.69564","volume":"11","author":"T. Nicholson","year":"1989","unstructured":"T. Nicholson and N. Foo. A Denotational Semantics for Prolog. ACM Transactions on Programming Languages and Systems, 11(3):650\u2013665, September 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"14_CR18","unstructured":"Simon L. Peyton-Jones. The Implementation of Functional Programming Languages. Series in Computer Science. Prentice-Hall, 1987."},{"key":"14_CR19","volume-title":"Denotational Semantics","author":"D.A. Schmidt","year":"1988","unstructured":"D.A. Schmidt. Denotational Semantics. Wm.C. Brown Publishers, Iowa, 1988."},{"key":"14_CR20","first-page":"157","volume-title":"Logic Programming","author":"P.A. Subrahmanyam","year":"1986","unstructured":"P.A. Subrahmanyam and Jia-Huai You. FUNLOG: a Computational Model Intergrating Logic Programming and Functional Programming. In D. DeGroot and G. Lindstrom, editors, Logic Programming, pages 157\u2013198. Prentice-Hall, Englewood Cliffs, New Jersey, 1986."},{"key":"14_CR21","unstructured":"D. Turner. An Introduction to Miranda. In S. L. Peyton Jones: The Implementation of Functional Programming Languages. Prentice-Hall International, Series in Computer Science, 1987."},{"key":"14_CR22","series-title":"Technical Report","volume-title":"Guarded Horn Clauses","author":"K. Ueda","year":"1985","unstructured":"K. Ueda. Guarded Horn Clauses. Technical Report 103, ICOT, Tokyo, 1985."},{"key":"14_CR23","unstructured":"D.H.D. Warren. An abstract Prolog instruction set. Techn. Note 309, SRI International,Menlo Park,Calif., October 1983."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540539816_68.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:18:03Z","timestamp":1619558283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540539816_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539810","9783540464990"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3540539816_68","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}