Publications

4 results for Spiro Michaylov

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