| Publications of Andreas Heberle | ||||
| Conference Articles |
| 1999 | ||
| Construction of Verified Software
Systems with Program-Checking: An Application To Compiler Back-Ends |
T.Gaul A.Heberle W.Zimmermann W.Goerigk |
 |
| Proceedings of RTRV'99: Workshop on Runtime Result Verification to appear |
||
| Construction of Verified Compiler Front-Ends with Program-Checking | A.Heberle T.Gaul W.Goerigk G.Goos W.Zimmermann |
|
| Proceedings of PSI'99: Andrei Ershov Third International Conference on Perspectives Of System Informatics to appear in LNCS |
||
| 1998 | ||
| Praktikable Konstruktion korrekter Übersetzer | W.Goerigk T.Gaul W.Zimmermann A.Heberle U.Hoffmann |
|
| Softwaretechnik-Trends: Beiträge der GI-Fachtagung Softwaretechnik 98 |
||
| On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations | A.Heberle W.Löwe |
|
| Proceedings of the 5th International Workshop on Abstract State Machines | ||
| Safe Reuse of Source to Intermediate Language Compilations | A.Heberle W.Löwe M.Trapp |
|
| Proceedings of the 9th International Symposium
on Software Reliability Engineering, Fast Abstracts and Industrial Tracks |
||
| 1997 | ||
| An Architecture for Verified Compiler Construction | T.Gaul G.Goos A.Heberle W.Goerigk W.Zimmermann |
|
| Joint Modular Languages Conference 1997 Poster Session |
||
| Zur Konstruktion verifizierter Übersetzer | T.Gaul G.Goos A.Heberle W.Zimmermann |
|
| GI Arbeitstagung Programmiersprachen 1997 | ||
| Generierung von kompletten Compiler-Frontends | A.Heberle W.Löwe |
|
| GI Arbeitstagung Programmiersprachen 1997 | ||
| 1996 | ||
| Compiler Correctness and Implementation Verification: The Verifix Approach | W.Goerigk A.Dold T.Gaul G.Goos A.Heberle F.Henke U.Hoffmann H.Langmaack H.Pfeifer H.Ruess W.Zimmermann |
|
| Poster Session CC'96 | ||
| Technical Reports |
| 1998 | ||
| Safe Reuse of Source to Intermediate Language Compilations- Elaborated Version 05/98 - | A.Heberle W.Löwe M.Trapp |
|
| AL: An ASM Definition Language for Semantics of Imperative Programming Languages 10/98 | A.Heberle W.Löwe |
|
| 1997 | ||
| Names, Types, and Static Semantic Analysis UKA-TR Nr.13/97 |
A.Heberle S.Glesner W.Löwe |
|
| Generating Semantic Analysis Using Constraint
Programming UKA-TR Nr. 15/97 |
S.Glesner A.Heberle W.Löwe |
|
| A Calculus for Semantic Analysis 08/97 | S.Glesner A.Heberle W.Löwe |
|
| Static Semantics with Montages 10/97 | S.Glesner A.Heberle W.Löwe |
|
| 1996 | ||
| Specification and Verification of Compiler Frontend Tasks: Semantic Analysis 12/96 | A.Heberle W.Zimmermann G.Goos |
|