Detecting High-Level Synchronization Errors in Parallel Programs.
Syed Aoun RazaStefan FrankeErhard PloederederPublished in: Ada-Europe (2011)
Keyphrases
- high level
- low level
- intermediate level
- high level programming language
- programming language
- high level programming
- parallel computing
- sorting algorithms
- computer programs
- concurrent programs
- automatic programming
- error detection
- databases
- parallel implementation
- shared memory
- automatic detection
- fixpoint
- error analysis
- multi threaded
- error accumulation
- lower level
- parallel hardware
- higher level
- knowledge base