Rule-aided constraint resolution in Laure
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 237-256
- https://doi.org/10.1007/bfb0013534
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Exception handling and object-oriented programming: towards a synthesisPublished by Association for Computing Machinery (ACM) ,1990
- Kaleidoscope: mixing objects, constraints, and imperative programmingPublished by Association for Computing Machinery (ACM) ,1990
- A type system for SmalltalkPublished by Association for Computing Machinery (ACM) ,1990
- Untyped sets, invention, and computable queriesPublished by Association for Computing Machinery (ACM) ,1989
- Complexity of query processing in databases with OR-objectsPublished by Association for Computing Machinery (ACM) ,1989
- CLASSIC: a structural data model for objectsPublished by Association for Computing Machinery (ACM) ,1989
- Object identity as a query language primitivePublished by Association for Computing Machinery (ACM) ,1989
- On the representation and querying of sets of possible worldsPublished by Association for Computing Machinery (ACM) ,1987
- An amateur's introduction to recursive query processing strategiesPublished by Association for Computing Machinery (ACM) ,1986
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977