Constructing parallel programs and their termination proof.

Jean-Pierre Banâtre Michel Banâtre Patrice Quinton

Published in: ICPP (1982)

Keyphrases

provably correct
imperative programs
sorting algorithms
parallel processing
parallel computation
massively parallel
high level programming language
shared memory
rewrite systems
distributed memory
real time
theorem prover
parallel algorithm
computer systems
database systems
case study
website
search engine