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 11. Mai 2007
®Ubungen zur Vorlesung
Typsysteme
Blatt 4
Aufgabe P-11 (Typisierung): Geben Sie ein Effekt-Typ f®ur folgendes Pro-
gramm an:
rx.let inc = u. r :=!r + x in inc(); inc(); inc(); !r
Aufgabe P-12 (Fundamentallemma f®ur logische Relationen): Beweisen
Sie diesen Fall des Fundamentallemmas:
, x: t : T
xt : T( T )
Aufgabe P-13 (Korrektheit von Dead Code Elimination): Beweisen Sie
semantische Korrektheit der Programmtransformation dead code elimination.
t : Tunit
t () : Tunit
writes() =
Zeigen Sie also, das die Bedeutungen von e und () in der logischen Relation zu
Tunit stehen.

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universit√§t M√ľnchen

 

Collections: Computer Technologies and Information Sciences