Login / Signup
Fen-An Axiomatic Basis for Program Semantics.
Bruce J. MacLennan
Published in:
Commun. ACM (1973)
Keyphrases
</>
semantically equivalent
semantic information
intended meaning
test cases
starting point
formal semantics
program execution
stable model semantics
multi agent
relational databases