Unifying Theories of Programming: CSP + Lazy Observation = True Concurrency.
Marc L. SmithPublished in: FCS (2005)
Keyphrases
- constraint satisfaction problems
- concurrent programming
- programming language
- constraint satisfaction
- constraint programming
- lazy learning
- database systems
- programming environment
- concurrency control
- theoretical framework
- database
- data flow
- np hard
- domain theory
- transaction processing
- development environment
- object oriented programming
- bayesian networks
- decomposition methods
- concurrent execution
- tree decompositions
- computer programs
- arc consistency
- constraint propagation