Runtime Verification of Concurrent Haskell Programs.
Volker StolzFrank HuchPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- runtime environment
- programming language
- functional programming
- functional language
- symbolic execution
- concurrent programming
- concurrent programs
- model checking
- java bytecode
- parallel computation
- hardware designs
- signature verification
- automatic programming
- computer programs
- neural network
- hierarchical reinforcement learning
- advanced features
- verification method
- provably correct
- mutual exclusion
- program execution
- programming environment
- query language
- case study
- artificial intelligence