A methodology for managing hard constraints in CLP systems
- Joxan Jaffar
- Spiro Michaylov
- et al.
- 1991
- PLDI 1991
Publications
Date
Featured collections
Popular topics
9 results for Joxan Jaffar
Minimal and Complete Word Unification
- Joxan Jaffar
- 1990
- Journal of the ACM
Constraint logic programming
- Joxan Jaffar
- Jean-Louis Lassez
- 1987
- POPL 1987
The CLP(R) language and system: An overview
- Joxan Jaffar
- Spiro Michaylov
- et al.
- 1991
- COMPCON 1991
Constraint Programming 2000: A Position Paper
- Joxan Jaffar
- Roland H.C. Yap
- 1997
- Constraints
Projecting CLP R constraints
- Joxan Jaffar
- Michael J. Maher
- et al.
- 1993
- New Generation Computing
An Abstract Machine for CLP(R)
- Joxan Jaffar
- Spiro Michaylov
- et al.
- 1992
- ACM SIGPLAN Notices
The CLP(R) Language and System
- Joxan Jaffar
- Spiro Michaylov
- et al.
- 1992
- ACM Transactions on Programming Languages and Systems (TOPLAS)
On parallel unification for Prolog
- James Harland
- Joxan Jaffar
- 1987
- New Generation Computing