Hassan At-Kaci
TitleCited byYear
Warren’s Abstract Machine - a Tutorial Reconstruction
H At-Kaci
http://wambook.sourceforge.net/, 1999
740*1999
LOGIN: A logic programming language with built-in inheritance
H Ait-Kaci, R Nasr
The Journal of logic programming 3 (3), 185-215, 1986
6571986
Towards a meaning of LIFE
H Ait-Kaci, A Podelski
The Journal of Logic Programming 16 (3-4), 195-234, 1993
3641993
Efficient implementation of lattice operations
H At-Kaci, R Boyer, P Lincoln, R Nasr
ACM Transactions on Programming Languages and Systems (TOPLAS) 11 (1), 115-146, 1989
3131989
A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification)
H Ait-Kaci
2451984
An algebraic semantics approach to the effective resolution of type equations
H At-Kaci
Theoretical computer science 45, 293-351, 1986
2201986
A feature constraint system for logic programming with entailment
H At-Kaci, A Podelski, G Smolka
Theoretical Computer Science 122 (1-2), 263-283, 1994
1691994
The WAM: a (real) tutorial
H Ait-Kaci
Digital, Paris Research Laboratory, 1990
1461990
Inheritance hierarchies: Semantics and unification
G Smolka, H Ait-Kaci
Journal of Symbolic Computation 7 (3-4), 343-370, 1989
1031989
Le Fun: Logic, equations, and functions
P Lincoln, R Nasr
In Proc. 4th IEEE Internat. Symposium on Logic Programming, 1987
981987
An overview of LIFE
H Ait-Kaci
Next generation information system technology, 42-58, 1991
851991
Integrating logic and functional programming
H At-Kaci, R Nasr
Lisp and Symbolic Computation 2 (1), 51-89, 1989
761989
Order-sorted feature theory unification
H At-Kaci, A Podelski, SC Goldstein
The Journal of Logic Programming 30 (2), 99-124, 1997
731997
Functions as passive constraints in LIFE
H Ait-Kaci, A Podelski
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (4), 1279-1318, 1994
511994
An introduction to LIFE-programming with logic, inheritance, functions, and equations
H At-Kaci
Proceedings of the 1993 international symposium on Logic programming, 52-68, 1993
501993
The typed polymorphic label-selective λ-calculus
J Garrigue, H At-Kaci
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of…, 1994
491994
Type subsumption as a model of computation
H Ait-Kaci
Proceedings from the first international workshop on Expert database systems…, 1986
421986
Logic and inheritance
H At-Kaci, R Nasr
Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of…, 1986
371986
Label-selective λ-calculus syntax and confluence
H At-Kaci, J Garrigue
International Conference on Foundations of Software Technology and…, 1993
35*1993
The Wild LIFE Handbook (prepublication edition)
H Aıt-Kaci, B Dumant, R Meyer, A Podelski, P Van Roy
DIGITAL, Paris Research Laboratory, 1994
311994
The system can't perform the operation now. Try again later.
Articles 1–20