default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st COCV@ETAPS 2002: Grenoble, France
- Jens Knoop, Wolf Zimmermann:
Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002. Electronic Notes in Theoretical Computer Science 65(2), Elsevier 2002 - Gerhard Goos:
Compiler Verification and Compiler Architecture. 1 - Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg:
VOC: A Translation Validator for Optimizing Compilers. 2-18 - Sabine Glesner, Rubino Geiß, Boris Boesler:
Verified Code Generation for Embedded Systems. 19-36 - Carl Christian Frederiksen:
Correctness of Classical Compiler Optimizations using CTL. 37-51 - Thi Viet Nga Nguyen
, François Irigoin:
Alias verification for Fortran code optimization. 52-66 - K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens:
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. 67-82 - Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa:
Debugging and Testing Optimizers through Comparison Checking. 83-99 - Wolfgang Goerigk:
Towards Acceptability of Optimizations: An Extended View of Compiler Correctness. 100-114 - Jens Knoop, Wolf Zimmermann:
Preface. 115-116
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
