[ Course Documents ] : [ Semantics ]

Previous Contents Next Keyword Index

Summary

• Each form of semantic description has its place:
  • Operational
    • Informal descriptions
    • Compiler work
  • Axiomatic
    • Reasoning about particular properties
    • Proofs of correctness
  • Denotational
    • Formal definitions
    • Provably correct implementations