Enforcing Design Constraints with Object Logic
Abstract elided by the publisher.
Related papers
- Static Typing of Complex Presence Constraints in Interfaces ECOOP 2018
- Constraint Logic Programming POPL 1987
- Enforcing object protocols by combining static and runtime analysis OOPSLA 2008
- Formal Design Constraints OOPSLA 1996
- Composite Object Support in an Object-Oriented Database System OOPSLA 1987
- Logical Composition of Object-Oriented Interfaces OOPSLA 1987
- A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures GPCE 2007
- Optimization and Relaxation in Constraint Logic Languages POPL 1996