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 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)