Construction of verified compiler front-ends with program-checking

A Heberle, T Gaul, W Goerigk, G Goos… - Perspectives of System …, 2000 - Springer
This paper describes how program-checking can be used to establish the correctness of a
compiler front-end which was generated by unverified compiler construction tools. The basic …
被引用次数：26 相关文章
[PDF] dtic.mil

[PDF][PDF] Construction of Verified Compiler Front-Ends with Program-Checking

A Heberle, T Gaul, W Goerigk, G Goos, W Zimmermann - Informatics, 1999 - apps.dtic.mil
This paper describes how program-checking can be used to establish the correctness of a
compiler front-end which was generated by unverified compiler construction tools. The basic …
[PDF] academia.edu

[PDF][PDF] Construction of Verified Compiler Front-Ends with Program-Checking

A Heberle, T Gaul, W Goerigk, G Goos, W Zimmermann - Informatics, 1999 - academia.edu
This paper describes how program-checking can be used to establish the correctness of a
compiler front-end which was generated by unverified compiler construction tools. The basic …

Construction of Verified Compiler Front-Ends with Program-Checking

A Heberle, T Gaul, W Goerigk, G Goos… - Proceedings of the …, 1999 - dl.acm.org
This paper describes how program-checking can be used to establish the correctness of a
compiler front-end which was generated by unverified compiler construction tools. The basic …
[PDF] researchgate.net

[PDF][PDF] Construction of Verified Compiler Front-Ends with Program-Checking

A Heberle, T Gaul, W Goerigk, G Goos… - Informatics, 1999 - researchgate.net
This paper describes how program-checking can be used to establish the correctness of a
compiler front-end which was generated by unverified compiler construction tools. The basic …

Construction of Verified Compiler Front-Ends with Program-Checking

A Heberle, T Gaul, W Goerigk, G Goos… - Perspectives of System … - infona.pl
This paper describes how program-checking can be used to establish the correctness of a
compiler front-end which was generated by unverified compiler construction tools. The basic …

Construction of Verified Compiler Front-Ends with Program-Checking

A Heberle, T Gaul, W Goerigk… - Perspectives of System …, 2003 - books.google.com
This paper describes how program-checking can be used to establish the correctness of a
compiler front-end which was generated by unverified compiler construction tools. The basic …
[PDF] dtic.mil

[PDF][PDF] Construction of Verified Compiler Front-Ends with Program-Checking

A Heberle, T Gaul, W Goerigk, G Goos, W Zimmermann - Informatics, 1999 - apps.dtic.mil
This paper describes how program-checking can be used to establish the correctness of a
compiler front-end which was generated by unverified compiler construction tools. The basic …

Construction of Verified Compiler Front-Ends with Program-Checking

A Heberle, T Gaul, W Goerigk, G Goos… - … of System Informatics …, 2000 - books.google.com
This paper describes how program-checking can be used to establish the correctness of a
compiler front-end which was generated by unverified compiler construction tools. The basic …
[PDF] researchgate.net

[PDF][PDF] Construction of Verified Compiler Front-Ends with Program-Checking

A Heberle, T Gaul, W Goerigk, G Goos… - Informatics, 1999 - researchgate.net
This paper describes how program-checking can be used to establish the correctness of a
compiler front-end which was generated by unverified compiler construction tools. The basic …