A methodology for managing hard constraints in CLP systems
- Joxan Jaffar
- Spiro Michaylov
- et al.
- 1991
- PLDI 1991
Publications
Date
Featured collections
Popular topics
4 results for Spiro Michaylov
The CLP(R) language and system: An overview
- Joxan Jaffar
- Spiro Michaylov
- et al.
- 1991
- COMPCON 1991
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)