3 R's of optimizing constraint logic programs: Refinement, removal and reordering
- K. Marriott
- Peter J. Stuckey
- 1993
- POPL 1993
Publications
Date
Featured collections
Popular topics
10 results for K. Marriott
Linear constraint technology for interactive graphic systems
- Richard Helm
- Tien Huynh
- et al.
- 1992
- Graphics Interface 1992
Building visual language parsers
- Richard Helm
- Kim Marriott
- et al.
- 1991
- CHI 1991
Constraint-based query optimization for spatial databases
- Richard Helm
- Kim Marriott
- et al.
- 1991
- SIGMOD/PODS/ 1991
Declarative specification of visual languages
- Richard Helm
- K. Marriott
- 1990
- WVL 1990
Incremental constraint deletion in systems of linear constraints
- Tien Huynh
- Kim Marriott
- 1995
- Information Processing Letters
Suspension Analyses for Concurrent Logic Programs
- Michael Codish
- Moreno Falaschi
- et al.
- 1994
- ACM Transactions on Programming Languages and Systems (TOPLAS)
A declarative specification and semantics for visual languages
- Richard Helm
- Kim Marriott
- 1991
- JVLC
Most specific logic programs
- K. Marriott
- L. Naish
- et al.
- 1990
- Ann. Math. Artif. Intell.
Explicit representation of terms defined by counter examples
- J.-L. Lassez
- K. Marriott
- 1987
- Journal of Automated Reasoning