[ Course Documents ] : [ Semantics ]

Previous Contents Next Keyword Index

Evaluation of Axiomatic Semantics

• Advantages
  • Can be very abstract
  • May be useful in proofs of correctness
  • Solid theoretical foundations

• Disadvantages
  • Predicate transformers are hard to define
  • Hard to give complete meaning
  • Does not suggest implementation

• Uses of Axiomatic Semantics
  • Semantics of Pascal
  • Reasoning about correctness