default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd COCV@ETAPS 2003: Warsaw, Poland
- Jens Knoop, Wolf Zimmermann:
Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003. Electronic Notes in Theoretical Computer Science 82(2), Elsevier 2004 - Jens Knoop, Wolf Zimmermann:
Preface. 343-344 - Ernst-Rüdiger Olderog:
Translation and Optimization in the Verification of Real-Time Systems. 345 - Henning Dierks:
Moby/RT: A Tool for Specification and Verification of Real-Time Systems. 346 - Manuel M. T. Chakravarty, Gabriele Keller
, Patryk Zadarnowski:
A Functional Perspective on SSA Optimisation Algorithms. 347-361 - Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz:
Code Annotation for Safe and Efficient Dynamic Object Resolution. 362-376 - Stefan Berghofer, Martin Strecker:
Extracting a formally verified, fully executable compiler from a proof assistant. 377-394 - Christophe Alias, Denis Barthou:
On the Recognition of Algorithm Templates. 395-409 - Sabine Glesner, Jan Olaf Blech:
Classifying and Formally Verifying Integer Constant Folding. 410-425 - Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie:
A Java Card CAP converter in PVS. 426-442 - Gerolf Hoflehner, Daniel M. Lavery, David C. Sehr:
The compiler as a validation and evaluation tool. 443-460
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 2024-11-15 19:20 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:
