Refinement Calculus, Part II: Parallel and Reactive Programs.
Ralph-Johan BackPublished in: REX Workshop (1989)
Keyphrases
- provably correct
- high level programming language
- sorting algorithms
- computer programs
- automatic programming
- shared memory
- parallel implementation
- parallel computing
- information retrieval
- programming environment
- parallel architectures
- parallel processing
- program execution
- source code
- evolutionary algorithm
- reactive planning
- learning algorithm