Axiomatic Semantics: Proving Program Properties
Comprehensive guide to axiomatic semantics, exploring how to prove program correctness using Hoare logic, preconditions, postconditions, and invariants.
Formal-Semantics
Denotational Semantics: Mathematical Meaning of Programs
Comprehensive guide to denotational semantics, exploring how to assign mathematical meanings to programs and language constructs using domain theory and fixed-point theory.
Formal Semantics
Master formal semantics, which studies the meaning of formal languages. Learn denotational, operational, and axiomatic semantics.
Operational Semantics: Execution and Computation Models
Comprehensive guide to operational semantics, exploring how to formally specify program execution through transition systems, evaluation rules, and computation models.
Semantic Equivalence: Comparing Program Meanings
Comprehensive guide to semantic equivalence, exploring how to determine when two programs have the same meaning, including bisimulation, observational equivalence, and equivalence checking.