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