see also the index (by topic, by tool, by reference, by year)
Semantics of languages
Examples involving a formalization of a language and its semantics
- A Certified First-Order Theorem Prover
- A Correct-by-Construction Checker for Constraints on a Railway-Oriented Databases
- A Formally Verified Interpreter for the Shell-like Language CoLiS
- A Formally Verified Symbolic Interpreter for a IMP language
- A tiny register allocator for tree expressions
- Call-by-value reduction of SK terms
- Double WP
- Hoare Logic and Games
- Regular expression matching using residuals
- Toy compiler
- Variations on Semantics of Programming Languages
- WP revisited in Why3
see also the index (by topic, by tool, by reference, by year)