Follow
Hassan Aït-Kaci
Hassan Aït-Kaci
HAK Language Technologies
Verified email at acm.org - Homepage
Title
Cited by
Cited by
Year
Warren’s Abstract Machine - a Tutorial Reconstruction
H Aït-Kaci
http://wambook.sourceforge.net/, 1999
810*1999
LOGIN: A logic programming language with built-in inheritance
H Aït-Kaci, R Nasr
The Journal of logic programming 3 (3), 185-215, 1986
6781986
Towards a meaning of LIFE
H Ait-Kaci, A Podelski
The Journal of Logic Programming 16 (3-4), 195-234, 1993
3841993
Efficient implementation of lattice operations
H Aït-Kaci, R Boyer, P Lincoln, R Nasr
ACM Transactions on Programming Languages and Systems (TOPLAS) 11 (1), 115-146, 1989
3381989
A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification)
H Ait-Kaci
University of Pennsylvania, 1984
2641984
An algebraic semantics approach to the effective resolution of type equations
H Aït-Kaci
Theoretical computer science 45, 293-351, 1986
2221986
A feature constraint system for logic programming with entailment
H Aït-Kaci, A Podelski, G Smolka
Theoretical Computer Science 122 (1-2), 263-283, 1994
1801994
The WAM: a (real) tutorial
H Ait-Kaci
Digital. Paris Research Laboratory, 1989
1351989
Inheritance hierarchies: Semantics and unification
G Smolka, H Aït-Kaci
Journal of Symbolic Computation 7 (3-4), 343-370, 1989
1121989
Object oriented database systems and knowledge systems
C Zaniolo, H Ait-Kaci, D Beech, S Cammarata, L Kerschberg, D Maier
Proceedings from the First International Workshop On Expert Database Systems …, 1986
1051986
Le Fun: Logic, equations, and functions
H Aït-Kaci, R Nasr
Microelectronics and Computer Technology Corporation, 1986
1021986
An overview of LIFE
H Ait-Kaci
International East/West Database Workshop, 42-58, 1990
891990
Integrating logic and functional programming
H Aït-Kaci, R Nasr
Lisp and Symbolic Computation 2 (1), 51-89, 1989
781989
Order-sorted feature theory unification
H Aït-Kaci, A Podelski, SC Goldstein
The Journal of Logic Programming 30 (2), 99-124, 1997
711997
The typed polymorphic label-selective λ-calculus
J Garrigue, H Aït-Kaci
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
551994
Functions as passive constraints in LIFE
H Ait-Kaci, A Podelski
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (4), 1279-1318, 1994
501994
An introduction to LIFE-programming with logic, inheritance, functions, and equations
H Aït-Kaci
Proceedings of the 1993 International Symposium on Logic Programming, 52-68, 1993
481993
Label-selective λ-calculus syntax and confluence
H Aït-Kaci, J Garrigue
Theoretical Computer Science 151 (2), 353-383, 1995
41*1995
Type subsumption as a model of computation
H Ait-Kaci
Proceedings from the first international workshop on Expert database systems …, 1986
411986
Logic and inheritance
H Ait-Kaci, R Nasr
Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986
361986
The system can't perform the operation now. Try again later.
Articles 1–20