An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs.
Edgar KnappPublished in: ACM Trans. Program. Lang. Syst. (1990)
Keyphrases
- high level programming language
- parallel processing
- graph matching
- sorting algorithms
- formal model
- shared memory
- knowledge base
- multicore processors
- graph theoretic
- computer programs
- parallel computing
- graph model
- graph mining
- computer architecture
- database
- directed graph
- bipartite graph
- multi threaded
- operational semantics
- random graphs
- fixpoint
- programming environment
- graph databases
- weighted graph
- massively parallel
- graph representation
- maximum number
- complex structures