Matrix Code: a Language for the Parallel Development of Verification and Program
Maarten H. van EmdenPublished in: CoRR (2011)
Keyphrases
- code generator
- computer programs
- symbolic execution
- java bytecode
- programming environment
- programming language
- programs written
- programming environments
- static analysis
- specification language
- code generation
- java programs
- concurrent programs
- development process
- case study
- program understanding
- parallel processing
- software engineering
- multi threaded
- computer hardware
- practical experience
- linear algebra
- error handling
- intended meaning
- operating system
- domain specific languages
- concurrent programming
- source code