Derivation of Explicitly Parallel Code from Declarative Program by Transformations.
Elena TrichinaPublished in: Ershov Memorial Conference (1996)
Keyphrases
- program understanding
- java programs
- static analysis
- program code
- parallel processing
- computer programs
- control flow
- declarative semantics
- source code
- program execution
- parallel implementation
- artificial intelligence
- fault localization
- multi threaded
- parallel programming
- reverse engineering
- error correcting
- parallel computing
- knowledge representation
- high level
- symbolic execution
- real time
- programs written
- java code