On the Completeness of a Proof System for a Simple Data-Parallel Programming Language.

Luc Bougé David Cachera

Published in: Euro-Par (1995)

Keyphrases

programming language
general purpose
data processing
database
data structure
object oriented
high level
database management systems
databases
operating system
object oriented programming
programming environment
data integrity