Bridging CSP and C++ with Selective Formalism and Executable Specifications.
William B. GardnerPublished in: MEMOCODE (2003)
Keyphrases
- formal specification
- process algebra
- attribute grammars
- control flow
- constraint satisfaction problems
- concurrent systems
- transition systems
- asynchronous circuits
- operational semantics
- formal language
- delay insensitive
- model checking
- constraint satisfaction
- tree decomposition
- specification language
- knowledge representation
- constraint propagation
- constraint programming
- data flow
- probabilistic reasoning
- arc consistency
- formal model
- functional requirements
- tree decompositions
- context free grammars
- constraint solving
- constraint networks
- search algorithm
- written in natural language
- partial constraint satisfaction