An Abstract Machine for CLP(R)
- Joxan Jaffar
- Spiro Michaylov
- et al.
- 1992
- ACM SIGPLAN Notices
Paper
Publications
4 results for Spiro Michaylov
The CLP(R) Language and System
- Joxan Jaffar
- Spiro Michaylov
- et al.
- 1992
- ACM Transactions on Programming Languages and Systems (TOPLAS)
PaperThe CLP(R) language and system: An overview
- Joxan Jaffar
- Spiro Michaylov
- et al.
- 1991
- COMPCON 1991
Conference paperA methodology for managing hard constraints in CLP systems
- Joxan Jaffar
- Spiro Michaylov
- et al.
- 1991
- PLDI 1991
Conference paper