Week: Axiomatic Semantics | Programming Languages and Compiler Design | UFRIM²AG : Moodle

Section outline

This lecture is about axiomatic semantics.

Axiomatic semantics aims at defining an inference system that can be used to prove the essential properties of a program.
- Select activity Lecture - Axiomatic Semantics and Hoare logic
  
  Lecture - Axiomatic Semantics and Hoare logic Folder