Verifying Properties of Parallel Programs: An Axiomatic Approach.

Susan S. Owicki David Gries

Published in: Commun. ACM (1976)

Keyphrases

database
information systems
database systems
structural properties
imperative programs
databases
neural network
expert systems
data model
hidden markov models
high level programming language
distributed memory machines