bungsblatt 4

bungsblatt 4
Übungen
zur Vorlesung
Semantik und Programmverifikation
Blatt 4
Aufgabe 1:
Geben Sie die ersten Gleichungen der funktionalen Semantik des folgenden
Programms P in µML an:
val c=7;
fun f(n)=if x=0 then 0 else f(n-1)+c;
(read (n); f(n)).
Bestimmen Sie anschließend die Semantik von P bei Eingabe von n=3.
Aufgabe 2:
µML sei um Funktionen mit mehreren Parametern erweitert. Erweitern Sie die
Semantikdefinition von µML entsprechend.
Aufgabe 3:
Wie muß die Semantikdefinition von µML geändert werden, wenn dynamische anstelle
von statischer Bindung vereinbart ist.
Was this manual useful for you? yes no
Thank you for your participation!

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

Download PDF

advertisement