Converging CSP specifications and C++ programming via selective formalism.
William B. GardnerPublished in: ACM Trans. Embed. Comput. Syst. (2005)
Keyphrases
- constraint satisfaction problems
- reactive systems
- programming language
- operational semantics
- high level
- constraint satisfaction
- formal language
- declarative programming
- knowledge representation
- constraint propagation
- transition systems
- tree decomposition
- decomposition methods
- development environment
- probabilistic reasoning
- programming environment
- constraint programming
- code generation
- concurrent systems
- closest string
- tree decompositions
- programming course
- constraint solving
- computational properties
- object oriented programming
- constraint networks
- answer set programming
- search space