Thilo Gaul

According to our database, Thilo Gaul authored at least 4 papers between 1997 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1999

Construction of Verified Compiler Front-Ends with Program-Checking.

Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann

Proceedings of the Perspectives of System Informatics, 1999

1998

Correct Programs without Proof? On Checker-Based Program Verification.

Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann

Proceedings of the International Workshop Tool Support for System Specification, 1998

ASM-based Mechanized Verification of Compiler Back-Ends.

Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann

Proceedings of the Fifth International Workshop on Abstract State Machines, 1998

1997

On the Construction of Correct Compiler Back-Ends: An ASM-Approach.

Wolf Zimmermann, Thilo Gaul

J. Univers. Comput. Sci., 1997