{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:14Z","timestamp":1725663434142},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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_4","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:32:31Z","timestamp":1330209151000},"page":"42-58","source":"Crossref","is-referenced-by-count":10,"title":["An overview of life"],"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":"4_CR1","volume-title":"A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Type Structures","author":"H. A\u00eft-Kaci","year":"1984","unstructured":"Hassan A\u00eft-Kaci. A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Type Structures. PhD thesis, University of Pennsylvania, Philadelphia, PA, USA, 1984."},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0304-3975(86)90047-2","volume":"45","author":"H. A\u00eft-Kaci","year":"1986","unstructured":"Hassan A\u00eft-Kaci. An algebraic semantics approach to the effective resolution of type equations. Theoretical Computer Science, 45:293\u2013351, 1986.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"4_CR3","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/59287.59293","volume":"11","author":"H. A\u00eft-Kaci","year":"1989","unstructured":"Hassan A\u00eft-Kaci, Robert Boyer, Patrick Lincoln, and Roger Nasr. Efficient implementation of lattice operations. ACM Transactions on Programming Languages and Systems, 11(1):115\u2013146, January 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR4","unstructured":"Hassan A\u00eft-Kaci and Patrick Lincoln. LIFE, a natural language for natural language. T. A. Informations, 1991. (To appear)."},{"key":"4_CR5","unstructured":"Hassan A\u00eft-Kaci, Patrick Lincoln, and Roger Nasr. Le Fun: Logic, equations, and functions. In Proceedings of the Symposium on Logic Programming, pages 17\u201323, San Francisco, CA, USA, September 1987."},{"key":"4_CR6","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":"4_CR7","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":"4_CR8","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":"4_CR9","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":"4_CR10","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":"4_CR11","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":"4_CR12","series-title":"Report LFCS","volume-title":"The definition of standard ML \u2014 Version 2","author":"R. Harper","year":"1988","unstructured":"Robert Harper, Robin Milner, and Mads Tofte. The definition of standard ML \u2014 Version 2. Report LFCS-82-62, University of Edinburgh, Edinburgh, UK, 1988."},{"issue":"4","key":"4_CR13","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P. Landin","year":"1963","unstructured":"Peter Landin. The mechanical evaluation of expressions. The Computer Journal, 6(4):308\u2013320, 1963.","journal-title":"The Computer Journal"},{"key":"4_CR14","volume-title":"The Craft of Prolog. Series on Logic Programming","author":"R. O'Keefe","year":"1990","unstructured":"Richard O'Keefe. The Craft of Prolog. Series on Logic Programming. MIT Press, Cambridge, MA, USA, 1990."},{"key":"4_CR15","unstructured":"Samuel Peyton-Jones. The Implementation of Functional Programming Languages. Prentice Hall, 1987."},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/S0747-7171(89)80016-1","volume":"7","author":"G. Smolka","year":"1989","unstructured":"Gert Smolka and Hassan A\u00eft-Kaci. Inheritance hierarchies: Semantics and unification. Journal of Symbolic Computation, 7:343\u2013370, 1989.","journal-title":"Journal of Symbolic Computation"},{"key":"4_CR17","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":"4_CR18","first-page":"1","volume-title":"Proceedings on the Conference on Functional Programming Languages and Computer Architecture (Nancy, France)","author":"D. Turner","year":"1985","unstructured":"David Turner. Miranda\u2014Non-strict functional programming with polymophic types. In Jean-Pierre Jouannaud, editor, Proceedings on the Conference on Functional Programming Languages and Computer Architecture (Nancy, France), pages 1\u201316, Berlin, Germany, 1985. Springer Verlag. (LNCS 201)."}],"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_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:20:00Z","timestamp":1619572800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54141-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541417","9783540474449"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-54141-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}