Seminar: safe concurrent programming in Java with CSP.
Christopher H. NevisonPublished in: SIGCSE (1999)
Keyphrases
- concurrent programming
- programming language
- constraint satisfaction problems
- concurrent programs
- general purpose
- object oriented
- decomposition methods
- high level
- constraint satisfaction
- open source
- constraint programming
- tree decomposition
- artificial intelligence
- software engineering
- arc consistency
- source code
- web applications
- np complete
- constraint networks
- np hard
- java programs
- search space