Universit�t Karlsruhe
 Practical Construction of Correct Compiler Implementations by Runtime Result Verification
» Home
   » Mitarbeiter
   » Kerngebiete
   » Projekte
      » Abgeschlossen
   » Veröffentlichungen
      » Details
   » Software
   » Lehre
   » Student. Arbeiten
   » Impressum
   » Lageplan

de en

Vortrag

[1]Thilo Gaul, Practical Construction of Correct Compiler Implementations by Runtime Result Verification , Jun 2000.

Zusammenfassung

Praktische Konstruktion verifizierender Übersetzer mittels Programmprüfung

[Erzeuge bibTeX Eintrag]

 

[Herunterladen]

Autoren

Alumni
Dr. Thilo Gaul
Login
Links