|
Search the dblp DataBase
Thilo Gaul:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann
ASM-based Mechanized Verification of Compiler Back-Ends. [Citation Graph (0, 0)][DBLP] Workshop on Abstract State Machines, 1998, pp:50-67 [Conf]
- Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann
Construction of Verified Compiler Front-Ends with Program-Checking. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 1999, pp:481-492 [Conf]
- Wolf Zimmermann, Thilo Gaul
On the Construction of Correct Compiler Back-Ends: An ASM-Approach. [Citation Graph (0, 0)][DBLP] J. UCS, 1997, v:3, n:5, pp:504-567 [Journal]
Search in 0.001secs, Finished in 0.001secs
|