Hassan Aït-Kaci  Home/Search
Context Related
| digital.com/pub/DEC/PRL/res...AIT2.ps.Z digital.fr/pub/DEC/PRL/rese...AIT2.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: digital.com/pub/DEC/PRL/resear... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: LIFE (Logic, Inheritance, Functions, Equations) is an experimental programming language with a powerful facility for structured type inheritance. LIFE reconciles styles from Functional Programming and Logic Programming by implicitly delegating control to an automatic suspension mechanism. This allows interleaving interpretation of relational and functional expressions which specify abstract structural dependencies on objects. Together, these features provide a convenient and versatile power of... (Update)
Context of citations to this paper: More
.... work extending first order terms to terms [1] The latter notion has had a more direct application in programming language design [4, 2, 6] than in database systems. Still, the functionality and naturalness of deductive queries over terms is a strong motivation for...
.... earlier work extending first order terms to terms [1] The latter notion has had a more direct application in programming language design [4, 2, 6] than in database systems. Still, the functionality and naturalness of deductive queries over terms is a strong motivation for...
Cited by: More
A Correct and Efficient Interface for Logical Query.. - Holsheimer, de By.. (Correct)
A Database Interface for Complex Objects - Holsheimer, de By, Aït-Kaci (1993) (Correct)
Similar documents (at the sentence level): More
63.6%: LIFE - A Natural Language for Natural Language - Aït-Kaci, Lincoln (1989) (Correct)
13.6%: Le Fun: Logic, equations, and Functions - Ait-Kaci, Lincoln, Nasr (1986) (Correct)
11.1%: Towards a Meaning of LIFE - Aït-Kaci, Podelski (1992) (Correct)
Active bibliography (related documents): More All
1.1: A Glimpse of Paradise - Aït-Kaci (Correct)
0.7: The Wild LIFE Handbook - Hassan Aït-Kaci, Bruno Dumant.. (1994) (Correct)
0.5: Technical Annex for the ACCLAIM Project (PE7195) - Haridi (1992) (Correct)
Similar documents based on text: More All
0.1: Manuel de Reference de RC - Boussinot, Doumenc (1992) (Correct)
0.1: Une application de la SOL-résolution : vérifier la.. - Cholvy (1997) (Correct)
0.1: A Feature Constraint System for Logic Programming with.. - Aït-Kaci, Podelski, Smolka (1992) (Correct)
Related documents from co-citation: More All
3: A Logical Language for Data and Knowledge Bases (context) - Naqvi, Tsur - 1989
3: Interfacing relational databases and Prolog efficiently (context) - Ceri, Gottlob et al. - 1986
3: A calculus for complex objects (context) - Bancihon, Khoshafian - 1986
BibTeX entry: (Update)
Hassan At-Kaci. An overview of LIFE. In Joachim Schmidt and Anatoly Stogny, editors, Next Generation Information System Technology, pages 42--58, Berlin, Germany (1991). LNCS 504, Spinger-Verlag. http://citeseer.ist.psu.edu/113971.html More
@misc{ at-kaci91overview,
author = "H. At-Kaci",
title = "An overview of LIFE",
text = "Hassan At-Kaci. An overview of LIFE. In Joachim Schmidt and Anatoly Stogny,
editors, Next Generation Information System Technology, pages 42--58, Berlin,
Germany (1991). LNCS 504, Spinger-Verlag.",
year = "1991",
url = "citeseer.ist.psu.edu/113971.html" }
Citations (may not include all citations):359 The Implementation of Functional Programming Languages (context) - Peyton-Jones - 1987
218 The mechanical evaluation of expressions (context) - Landin - 1963
119 LOGIN: A logic programming language with built-in inheritanc.. (context) - At-Kaci, Nasr - 1986
35 An algebraic semantics approach to the effective resolution .. (context) - At-Kaci - 1986
33 ACM Transactions on Programming Languages and Systems (context) - At-Kaci, Boyer et al. - 1989
29 Inheritance hierarchies: Semantics and unification (context) - Smolka, At-Kaci - 1989
21 Digital Equipment Corporation (context) - At-Kaci, Podelski et al. - 1991
21 Digital Equipment Corporation (context) - At-Kaci, Meyer et al. - 1990
18 Clocksin and Christopher S (context) - William - 1984
16 Lisp and Symbolic Computation (context) - At-Kaci, Nasr et al. - 1989
14 The definition of standard ML -- Version (context) - Harper, Milner et al. - 1988
14 A Lattice-Theoretic Approach to Computation Based on a Calcu.. (context) - At-Kaci - 1984
10 Functions as passive constraints in LIFE - At-Kaci, Podelski - 1991
4 a natural language for natural language (context) - At-Kaci, Lincoln - 1991
3 Le Fun: Logic (context) - At-Kaci, Lincoln et al. - 1987
3 Series on Logic Programming (context) - O'Keefe, of - 1990
3 Series on Logic Programming (context) - Sterling, Shapiro et al. - 1986
1 Miranda---Non-strict functional programming with polymophic .. (context) - Turner - 1985
Documents on the same site (http://ftp.digital.com/pub/DEC/PRL/research-articles/): More
Programmable Active Memories: a Performance Assessment - Bertin, Roncin, Vuillemin (1992) (Correct)
Implicit and Incremental Computation of Primes and Essential.. - Coudert, Madre (1991) (Correct)
theoremTheorem[section] exampleExample[section].. - Em Ma (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC