A machine level semantics for nondeterministic, parallel programs.

David B. Benson

Published in: Symposium on Programming (1982)

Keyphrases

higher level
finite state
levels of abstraction
formal semantics
natural language
batch processing
dynamic logic
fixpoint semantics
relational databases
logic programming
semantic information
parallel processing
parallel implementation
computer programs
transformation rules
declarative semantics