How do programs become more concurrent: a story of program transformations.
Danny DigJohn MarreroMichael D. ErnstPublished in: IWMSE@ICSE (2011)
Keyphrases
- concurrent programs
- computer programs
- program execution
- automatic programming
- control program
- concurrent programming
- high level programming language
- prolog programs
- functional programs
- programming environment
- java programs
- novice programmers
- application programs
- program slicing
- programming environments
- symbolic execution
- static analysis
- hardware designs
- computer chess
- declarative semantics
- runtime environment
- neural network
- mutual exclusion
- intermediate level
- database systems
- recursive programs
- image transformations
- deductive databases
- test cases