Practical Construction of Correct Compiler Implementations by Runtime Result Verification (2000)

Cached

Download Links

by Thilo Gaul , Wolf Zimmermann , Wolfgang Goerigk
Venue:In Proc. SCI’2000, International Conference on Information Systems Analysis and Synthesis
Citations:3 - 0 self