{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:10Z","timestamp":1725663430968},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541417"},{"type":"electronic","value":"9783540474449"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54141-1_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:31:46Z","timestamp":1330191106000},"page":"17-25","source":"Crossref","is-referenced-by-count":1,"title":["A glimpse of paradise"],"prefix":"10.1007","author":[{"given":"Hassan","family":"A\u00eft-Kaci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"2_CR1","series-title":"Research paper","volume-title":"An overview of LIFE","author":"H. A\u00eft-Kaci","year":"1990","unstructured":"Hassan A\u00eft-Kaci. An overview of LIFE. Research paper, Digital Equipment Corporation, Paris Research Laboratory, Rueil-Malmaison, France, 1990."},{"key":"2_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren's Abstract Machine, A Tutorial Reconstruction. Series on Logic Programming","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"Hassan A\u00eft-Kaci. Warren's Abstract Machine, A Tutorial Reconstruction. Series on Logic Programming. MIT Press, Cambridge, MA, USA, 1991."},{"key":"2_CR3","series-title":"PRL Technical Note","volume-title":"Wild_LIFE, a user manual","author":"H. A\u00eft-Kaci","year":"1990","unstructured":"Hassan A\u00eft-Kaci and Richard Meyer. Wild_LIFE, a user manual. PRL Technical Note 1, Digital Equipment Corporation, Paris Research Laboratory, Rueil-Malmaison, France, 1990."},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. A\u00eft-Kaci","year":"1986","unstructured":"Hassan A\u00eft-Kaci and Roger Nasr. LOGIN: A logic programming language with built-in inheritance. Journal of Logic Programming, 3:185\u2013215, 1986.","journal-title":"Journal of Logic Programming"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/BF01806313","volume":"2","author":"H. A\u00eft-Kaci","year":"1989","unstructured":"Hassan A\u00eft-Kaci and Roger Nasr. Integrating logic and functional programming. Lisp and Symbolic Computation, 2:51\u201389, 1989.","journal-title":"Lisp and Symbolic Computation"},{"key":"2_CR6","series-title":"Research paper","volume-title":"Is there a meaning to LIFE?","author":"H. A\u00eft-Kaci","year":"1990","unstructured":"Hassan A\u00eft-Kaci and Andreas Podelski. Is there a meaning to LIFE? Research paper, Digital Equipment Corporation, Paris Research Laboratory, Rueil-Malmaison, France, 1990."},{"key":"2_CR7","series-title":"Research paper","volume-title":"Functions as passive constraints in LIFE","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"Hassan A\u00eft-Kaci and Andreas Podelski. Functions as passive constraints in LIFE. Research paper, Digital Equipment Corporation, Paris Research Laboratory, Rueil-Malmaison, France, 1991."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Alan Borning, Robert Duisberg, Bjorn Freeman-Benson, Axel Kramer, and Michael Woolf. Constraint hierarchies. In Proceedings of the Conference on Object-Oriented Systems Languages and Applications, pages 48\u201360, 1987.","DOI":"10.1145\/38765.38812"},{"issue":"4","key":"2_CR9","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/357146.357147","volume":"3","author":"A. Borning","year":"1981","unstructured":"Alan Borning. The programming language aspects of Thinglab. ACM Transactions on Programming Languages and Systems, 3(4):353\u2013387, October 1981.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Peter Canning, William Cook, Walter Hill, and Walter Olthoff. Interfaces for strongly-typed object-oriented programming. In Proceedings of the Conference on Object-Oriented Systems Languages and Applications, October 1989.","DOI":"10.1145\/74877.74924"},{"key":"2_CR11","volume-title":"Modula-3 report (revised)","author":"L. Cardelli","year":"1989","unstructured":"Luca Cardelli, James Donahue, Lucille Glassman, Mike Jordan, Bill Kalsow, and Greg Nelson. Modula-3 report (revised). Research Report 52, Digital Equipment Corporation, Systems Research Center, Palo Alto, CA, USA, November 1989."},{"key":"2_CR12","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1984","unstructured":"William F. Clocksin and Christopher S. Mellish. Programming in Prolog. Springer Verlag, Berlin, Germany, 2nd edition, 1984.","edition":"2nd edition"},{"key":"2_CR13","unstructured":"Alain Colmerauer. PROLOG II reference manual and theoretical model. Internal report, Groupe d'Intelligence Artificielle, Universit\u00e9 d'Aix-Marseille II, October 1982."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Alain Colmerauer. An introduction to PROLOG III. Communications of the ACM, pages 70\u201390, July 1990.","DOI":"10.1145\/79204.79210"},{"issue":"4","key":"2_CR15","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1093\/comjnl\/32.4.305","volume":"32","author":"W. Cook","year":"1989","unstructured":"William Cook. A proposal for making Eiffel type-safe. The Computer Journal, 32(4):305\u2013311, 1989.","journal-title":"The Computer Journal"},{"key":"2_CR16","first-page":"87","volume-title":"Resolution of Equations in Algebraic Structures, Vol. 2: Rewriting Techniques, chapter 3","author":"M. Dincbas","year":"1989","unstructured":"Mehmet Dincbas, Helmut Simonis, and Pascal van Hentenryck. Extending equation-solving and constraint-handling in logic programming. In Hassan A\u00eft-Kaci and Maurice Nivat, editors, Resolution of Equations in Algebraic Structures, Vol. 2: Rewriting Techniques, chapter 3, pages 87\u2013115. Academic Press, Boston, MA, USA, 1989."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Bjorn Freeman-Benson. Kaleidoscope: Mixing objects, constraints, and imperative programming. In Joint Proceedings of the European Conference on Object-Oriented Programming, and the Conference on Object-Oriented Systems Languages and Applications, pages 77\u201388, ACM, 1990.","DOI":"10.1145\/97945.97957"},{"key":"2_CR18","unstructured":"Matthias Felleisen. The Calculi of \u03bb-v-CS-Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages. PhD thesis, Indiana University, 1987."},{"key":"2_CR19","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0304-3975(89)90069-8","volume":"69","author":"M. Felleisen","year":"1989","unstructured":"Matthias Felleisen and Daniel Friedman. A syntactic theory of sequential state. Theoretical Computer Science, 69:243\u2013287, 1989.","journal-title":"Theoretical Computer Science"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Matthias Felleisen, Mitchell Wand, Daniel Friedman, and Bruce Duba. Abstract continuations: a mathematical semantics for handling full functional jumps. In Proceeding of the Conference on Lisp and Functional Programming, pages 52\u201362, 1988.","DOI":"10.1145\/62678.62684"},{"key":"2_CR21","unstructured":"Adele Goldberg and David Robson. Smalltalk 80: The Language and its Implementation. Addison-Wesley, 1980."},{"key":"2_CR22","volume-title":"The definition of standard ML \u2014 Version 2. Report LFCS-88-62","author":"R. Harper","year":"1988","unstructured":"Robert Harper, Robin Milner, and Mads Tofte. The definition of standard ML \u2014 Version 2. Report LFCS-88-62, University of Edinburgh, Edinburgh, UK, 1988."},{"key":"2_CR23","series-title":"LILOG Report","volume-title":"Definite relations over constraint languages","author":"M. H\u00f6hfeld","year":"1988","unstructured":"Markus H\u00f6hfeld and Gert Smolka. Definite relations over constraint languages. LILOG Report 53, IWBS, IBM Deutschland, Stuttgart, Germany, October 1988. To appear in the Journal of Logic Programming."},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages, Munich, Germany, January 1987.","DOI":"10.1145\/41625.41635"},{"key":"2_CR25","unstructured":"Joxan Jaffar and Spiro Michaylov. Methodology and implementation of a CLP system. In Jean-Louis Lassez, editor, Proceedings of the Fourth International Conference on Logic Programming, pages 196\u2013218. MIT Press, 1987."},{"key":"2_CR26","volume-title":"The CLP(\u211c) language and system. Report draft","author":"J. Jaffar","year":"1988","unstructured":"Joxan Jaffar, Spiro Michaylov, Peter Stuckey, and Roland Yap. The CLP(\u211c) language and system. Report draft, IBM Thomas J. Watson Research Center, Yorktown Heights, NY, April 1988."},{"key":"2_CR27","unstructured":"John McCarthy et al. Lisp 1.5 Programmer's Manual. MIT Press, second edition edition, 1965."},{"key":"2_CR28","volume-title":"The Craft of Prology. Series on Logic Programming","author":"R. O'Keefe","year":"1990","unstructured":"Richard O'Keefe. The Craft of Prology. Series on Logic Programming. MIT Press, Cambridge, MA, USA, 1990."},{"issue":"12","key":"2_CR29","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/15042.15043","volume":"21","author":"J. Rees","year":"1986","unstructured":"John Rees and William Clinger. The revised3 report on the algorithmic language Scheme. SIGPLAN Notices, 21(12):37\u201379, 1986.","journal-title":"SIGPLAN Notices"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Paul Rovner. Extending Modula-2 to build large, integrated systems. IEEE Software, 3(6), November 1986.","DOI":"10.1109\/MS.1986.229476"},{"key":"2_CR31","volume-title":"The Art of Prolog. Series on Logic Programming","author":"L. Sterling","year":"1986","unstructured":"Leon Sterling and Ehud Shapiro. The Art of Prolog. Series on Logic Programming. MIT Press, Cambridge, MA, USA, 1986."},{"key":"2_CR32","unstructured":"Guy Steele. Common LISP, The Language. Digital Press, 1984."},{"key":"2_CR33","volume-title":"Constraint Satisfaction in Logic Programming. Series on Logic Programming","author":"P. Hentenryck van","year":"1989","unstructured":"Pascal van Hentenryck. Constraint Satisfaction in Logic Programming. Series on Logic Programming. MIT Press, Cambridge, MA, USA, 1989."},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Niklaus Wirth. Programming in Modula-2. Springer-Verlag, third edition edition, 1985.","DOI":"10.1007\/978-3-642-96878-5"}],"container-title":["Lecture Notes in Computer Science","Next Generation Information System Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54141-1_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:19:55Z","timestamp":1619558395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54141-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541417","9783540474449"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-54141-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}