Checks and balances: constraint solving without surprises in object-constraint programming languages.
Tim FelgentreffTodd D. MillsteinAlan BorningRobert HirschfeldPublished in: OOPSLA (2015)
Keyphrases
- constraint solving
- programming language
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- constraint solver
- object oriented
- constraint satisfaction
- general purpose
- software engineering
- database languages
- strongly typed
- programming environment
- high level
- complex objects
- logic programming
- constraint solvers
- finite domain
- denotational semantics
- object oriented concepts
- specification language
- object oriented programming
- object model
- constraint programming
- databases
- database
- np complete
- lambda calculus
- data abstraction
- functional language
- database applications
- concurrent programming