Universität Karlsruhe
Practical Construction of Correct Compiler Implementations by Runtime Result Verification

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