OOPM 2015/16 - Das Hoare-Kalkül

Skript zur Vorlesung

Das Hoare-Kalkül: [.pdf]

Das Skript besteht dieses Mal aus relativ ausführlichen Folien, welche so auch in der Vorlesung zur Anwendung kommen.

Fragestellungen aus der Vorlesung

  • Kann man zeigen, dass ein Programm die Nachbedingungen bei bestehenden Vorbedingungen einhält?
  • Wie sind derartige Beweise strukturiert?
  • Kann man Termination beweisen?

Empfehlungen zur Nachbereitung

  • Studium der weiteren Beweise am Ende der Foliensammelung