Publications

10 results for K. Marriott

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