An Axiomatic Treatment of a Parallel Programming Language.

Stephen D. Brookes

Published in: Logic of Programs (1985)

Keyphrases

programming language
high level programming language
object oriented
general purpose
high level
software engineering

strongly typed
programming environment
denotational semantics
specification language
parallel processing

object oriented programming
computer programs
logic programming
database languages
programming tool

parallel programming
programming language constructs
functional language
shared memory
relational databases