Dynamische Semantik

• operational:

  beschreibt Wirkung von Anweisungen durch Änderung des Programmzustandes

• axiomatisch (Bsp: wp-Kalkül):

  enthält Schlußregeln, um Aussagen über Programme zu beweisen

• denotational:

  ordnet jedem (Teil-)Programm einen Wert zu, Bsp: eine Funktion (höherer Ordnung).