Seguir
Hassan Aït-Kaci
Hassan Aït-Kaci
HAK Language Technologies
Dirección de correo verificada de acm.org - Página principal
Título
Citado por
Citado por
Año
Warren’s Abstract Machine - a Tutorial Reconstruction
H Aït-Kaci
http://wambook.sourceforge.net/, 1999
812*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
6841986
Towards a meaning of LIFE
H Ait-Kaci, A Podelski
The Journal of Logic Programming 16 (3-4), 195-234, 1993
3801993
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
3401989
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
2631984
An algebraic semantics approach to the effective resolution of type equations
H Aït-Kaci
Theoretical computer science 45, 293-351, 1986
2231986
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
1781994
The WAM: a (real) tutorial
H Ait-Kaci
Digital. Paris Research Laboratory, 1989
1361989
Inheritance hierarchies: Semantics and unification
G Smolka, H Aït-Kaci
Journal of Symbolic Computation 7 (3-4), 343-370, 1989
1091989
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
1081986
Le Fun: Logic, equations, and functions
H Aït-Kaci, R Nasr
Microelectronics and Computer Technology Corporation, 1986
1011986
An overview of LIFE
H Ait-Kaci
International East/West Database Workshop, 42-58, 1990
881990
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
721997
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
501993
Type subsumption as a model of computation
H Ait-Kaci
Proceedings from the first international workshop on Expert database systems …, 1986
431986
Label-selective λ-calculus syntax and confluence
H Aït-Kaci, J Garrigue
Theoretical Computer Science 151 (2), 353-383, 1995
40*1995
Logic and inheritance
H Ait-Kaci, R Nasr
Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986
351986
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20