{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:05:12Z","timestamp":1746158712845,"version":"3.40.4"},"publisher-location":"London","reference-count":37,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_1","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T11:23:28Z","timestamp":1387452208000},"page":"3-19","source":"Crossref","is-referenced-by-count":0,"title":["A Design Space for Integrating Declarative Languages"],"prefix":"10.1007","author":[{"given":"John","family":"Darlington","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yike","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Helen","family":"Pull","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Hassan Ait-Kaci.LIFE:Anatuaral languahe for natural language.MCC Tech.Report ACA- ST-074\u201388. Microelectronics and Computer Technology Corp, Austin, TX., Feb. 1988."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Arvind, R. Nikhil and K. Pingali I-structure: Data Structures for Parallel Computing ACM Transactions on Programming Languages and Systems,11, Oct 1989.","DOI":"10.1145\/69558.69562"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"M. Chandy and J. Misra Parallel Program Design - A foundation. Addison Wesley, \u20191988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"1_CR4","volume-title":"The Unification of Functional and Logic Languages in Logic Programming: Relation, Function and Equation P.37\u2014P70. Prentice-Hall","author":"J Darlington","year":"1986","unstructured":"J. Darlington, A.J. Field and H. Pull, The Unification of Functional and Logic Languages in Logic Programming: Relation, Function and Equation P.37\u2014P70. Prentice-Hall, Englewood Cliffs, New Jersey. 1986."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"J. Darlington, Y. Guo and H. Pull Introducing Constraint Functional Logic Programming Tech. Report, Dept of Computing, Imperial College, Aug.1991.(In this proceedings)","DOI":"10.1007\/978-1-4471-3794-8_2"},{"key":"1_CR6","unstructured":"C.A. R. Hoare ATheory of Conjunction and Concurrency Oxford PRG, May 1989"},{"key":"1_CR7","unstructured":"N. Dershowitz and M. Okada Conditional Equational Programming and the Theory of Conditional Term Rewriting Proceedings of the FGCS\u201984, 1984"},{"key":"1_CR8","unstructured":"N. Dershowitz and D.A. Plaisted Equational Programming in Machine Intelligence, 1986."},{"key":"1_CR9","unstructured":"Y. Guo and H. Lock. A classification for the integration of functional and logic languages Technical report, Dept. of Computing, Imperial College and GMD Forschungsstelle an der Universit\u00e4t Karlsruhe, March 1990. Deliverable, ESPRIT BRA 3147."},{"key":"1_CR10","volume-title":"Handbook of Theoretical Computer Science North Holland","author":"N Dershowitz","year":"1990","unstructured":"N. Dershowitz and J.P. Jouannaud. Rewrite systems in Van Leuven, editor, Handbook of Theoretical Computer Science North Holland, 1990"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"M.H. van Emden and K. Yukawa Logic Programming with Equations Journal of Logic Programming, Vol4. Number 4, 1987.","DOI":"10.1016\/0743-1066(87)90006-9"},{"key":"1_CR12","unstructured":"Laurent Fribourg. SLOG: A logic programming language interpreter based on clausal superposition and rewriting In Proceeding of the 2nd IEEE Symposium on Logic Programming, Boston,1985."},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Y","year":"1987","unstructured":"J. Y. Girard Linear Logic Theoretical Computer Science, 50: 1\u2013102, 1987.","journal-title":"Girard Linear Logic Theoretical Computer Science"},{"key":"1_CR14","unstructured":"J. Goguen and R.Burstall INSTITUTIONS: Abstract Model Theory for Specification and Programming TR CSLI-85\u201330 SRI, 1985."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"J. Goguen Types as Theories PRG, Oxford University, Feb. 1990.","DOI":"10.1093\/oso\/9780198537601.003.0014"},{"key":"1_CR16","unstructured":"J. Goguen and J, Meseguer Unifying Functional Object-oriented and Logic Programming with Logical Semantics Technical Report CSLI-87\u201393, CSLI, Stanford University, March 1987."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"J. Goguen and J. Meseguer Equality Types Modules and (why not?) Generics for Logic Programming Journal of Logic Programminglp,Vol 2, 1984.","DOI":"10.1016\/0743-1066(84)90004-9"},{"key":"1_CR18","volume-title":"Guo General Constraint Programming: A Paradigm for Integrating Functional and Logic Languages Forthcoming Ph.D thesis","author":"Y","year":"1991","unstructured":"Y. Guo General Constraint Programming: A Paradigm for Integrating Functional and Logic Languages Forthcoming Ph.D thesis, Dept. of Computing, Imperial College, 1991."},{"key":"1_CR19","first-page":"441","volume-title":"Logic Programming","author":"J Jaffar","year":"1986","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Logical programming scheme. In D. DeGroot and G. Lindstrom, editors, Logic Programming, pages 441\u2013467. Prentice-Hall, Englewood Cliffs, New Jersey, 1986."},{"key":"1_CR20","volume-title":"Constraint Logic Programming","author":"J Jaffer","year":"1987","unstructured":"J. Jaffer, J. Lassez and M. Maher Constraint Logic Programming Proc. of 14th ACM Symp. POPL, 1987"},{"key":"1_CR21","unstructured":"S.Kapian Conditional Rewrite RulesTheoretical Computer Science Vol.33"},{"issue":"1987","key":"1_CR22","first-page":"175","volume":"279","author":"A. G","year":"1984","unstructured":"A. G. Lindstrom Implementing Logical Variables on a Graph Reduction Machines Proc. of a Workshop on Graph Reduction, Santa Fe,New Mexico, Springer LNCS 279, 1987 pp 175\u2013193, 1984.","journal-title":"Springer LNCS"},{"key":"1_CR23","volume-title":"McCabe Logic and Objects Tech","author":"F","year":"1986","unstructured":"F. McCabe Logic and Objects Tech. Report, Dept. of Computing,Imperial College, 1986."},{"key":"1_CR24","unstructured":"Dale Miller and Gopalan Nadathur. A logic programming approach to manipulating formulas and progams In Poceedings of the 4th Symposium on Logic Programming San Franciscopages 379\u2013399,1987."},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"J. Meseguer General Logics SRI-I-CSL-89\u20135 Mar,1989.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"1_CR26","unstructured":"J. Goguen and J. Meseguer Models and Equality for Logic Programming Proceedings TAPSOFT 87, LNCS 250, 1987."},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"J. Meseguer Rewriting as a Unified Model of Concurrency SRI\u2014CSL-90\u201302R. Feb,1990.","DOI":"10.1145\/127056.127091"},{"key":"1_CR28","volume-title":"Meseguer An Algebraic Aziomatization of Linear Logic Models Technical Report SRI-CSL-89-11","author":"N Marti-Oliet","year":"1989","unstructured":"N. Marti-Oliet and J. Meseguer An Algebraic Aziomatization of Linear Logic Models Technical Report SRI-CSL-89\u201311, SRI International, Computer Science Lab, December 1989."},{"key":"1_CR29","unstructured":"N. Dershowitz and M. Okada. Conditional equational programming and the theory of conditional term rewriting In Proc. of the FGCS\u2019 8.41988."},{"key":"1_CR30","unstructured":"J. Robinson and L. Wos Paramodulation and Theorem Proving in First Order Theories with Equality Machine Intelligence, Vol.4, 1972."},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"U.S.Reddy Functional Logic Programming Part I Proc. of a Workshop on Graph Reduction, Santa Fe, New Mexico, Springer LNCS 279, 1987","DOI":"10.1007\/3-540-18420-1_68"},{"key":"1_CR32","volume-title":"Deloping phoenix design space: A uniform framework for investigating declarative programming languages Technical report","author":"Y Guo","year":"1990","unstructured":"Y. Guo, J. Darlington, and H. Lock. Deloping phoenix design space: A uniform framework for investigating declarative programming languages Technical report, Dept. of Computing, Imperial College and GMD Forschungsstelle an der Universi\u00e4t Karlsruhe, April 1990."},{"key":"1_CR33","unstructured":"R. Jagadeesan and K. Pingali Abstract Semantics for Higher Order Functional Language with Logic Variables TR91\u20131220 Dept. of Computer Science, Cornell Univ.Ithaca, July 1991."},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"V. Saraswat, M. Rinard and P. Panangaden Semantic Foundations of Concurrent Constraint Programming Proceedings of POPL, 1991","DOI":"10.1145\/99583.99627"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"D.Scott Domains for Denotational Semantics In Proceedings of ICALP, 1982.","DOI":"10.1007\/BFb0012801"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"D.Scott Data Types as Lattice SIAM5(3):522\u2013587, 1976.","DOI":"10.1137\/0205037"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"G.Smolka Logic Programming over Polymorphically Order-Sorted Types Ph.D Thesis Universitat Kaiserslautern 1989.","DOI":"10.1007\/3-540-50667-5_58"}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T07:56:30Z","timestamp":1746086190000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_1","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}