Correctness of Recursive Parallel Nondeterministic Flow Programs.
Joseph A. GoguenJosé MeseguerPublished in: J. Comput. Syst. Sci. (1983)
Keyphrases
- evolutionary algorithm
- recursive programs
- provably correct
- parallel processing
- sorting algorithms
- computer architecture
- neural network
- logic programs
- flow field
- parallel computation
- high level programming language
- multicore processors
- fluid flow
- recursive queries
- transformation rules
- parallel implementation
- shared memory
- general purpose
- reinforcement learning
- high level