Using Specifications for Debugging Parallel Programs.
Maximilian FreyAndreas WeiningerPublished in: Applications in Parallel and Distributed Computing (1994)
Keyphrases
- parallel programming
- java programs
- hardware designs
- recursive programs
- parallel processing
- programming environment
- control flow
- multi threaded
- novice programmers
- high level programming language
- neural network
- parallel algorithm
- execution traces
- logic programs
- high level
- functional requirements
- massively parallel
- model based diagnosis
- answer sets
- sorting algorithms
- program slicing
- computer programs
- parallel architectures
- multi core processors
- control program
- source code