Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Institut fur Informatik SS 2007 der Universitat Munchen
 

Summary: Institut f¨ur Informatik SS 2007
der Universit¨at M¨unchen
Dr. Andreas Abel 20. April 2007
¨Ubungen zur Vorlesung
Typsysteme
Blatt 1
Pr¨asenzaufgaben (P-XX) werden in der ¨Ubung gemeinsam gel¨ost, die Hausauf-
gaben (H-XX) dann alleine oder in 2er-Teams bis zur n¨achsten ¨Ubungsstunde.
Aufgabe P-1 (Kongruenzregeln f¨ur Mehr-Schritt-Auswertung): Be-
weisen Sie f¨ur die Small-Step-Semantik - aus der Vorlesung:
a) Wenn r - r , dann r s - r s.
b) Wenn s - s , dann v s - v s .
Den Beweis k¨onnen Sie durch Induktion ¨uber die L¨ange der Reduktionsfolge
- f¨uhren.
Aufgabe P-2 (Big-Step-Semantik und deren Korrektheit): Ein Inter-
preter wird ¨ublicherweise so implementiert, dass er ein Programm in einem
großen Schritt auswertet. Einen Interpreter f¨ur den ungetypten -Kalk¨ul mit
Ganzzahlen und Addition k¨onnen wir mit folgender induktiver Relation t v
modellieren:
e-val

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universität München

 

Collections: Computer Technologies and Information Sciences