A) In diesem Seminar wird die algebraische Semantik imperativer Programme
behandelt, und somit die Methoden der algebraischen Spezifikation
verwendet um Verifikationsaufgaben imperativer Programme zu
behandeln. Die Teilnehmer sollen anhand von Originalliteratur einen
Vortrag erarbeiten und halten.
B) Joseph A. Goguen, Grant Malcom: Algebraic Semantics of Imperative
Programs, MIT Press, 1996.
C) Vordiplom.
D) Seminarschein nach erfolgreichem Vortrag.
E) Kann als integriertes Seminar zum Praktikum 89-722 gewählt werden.
