|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 55 publication records. Showing 55 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer |
Specify, Compile, Run: Hardware from PSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007, pp. 3-16, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jan Olaf Blech, Arnd Poetzsch-Heffter |
A Certifying Code Generation Phase. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007, pp. 65-82, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Geoff W. Hamilton |
Distilling Programs for Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007, pp. 17-32, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ling Fang, Masataka Sassa |
Generating Java Compiler Optimizers Using Bidirectional CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007, pp. 49-63, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino 0001 |
On-the-Fly Data Flow Analysis Based on Verification Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007, pp. 33-48, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Glesner, Jens Knoop, Rolf Drechsler |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007, pp. 1-2, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Glesner, Jens Knoop, Rolf Drechsler (eds.) |
Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Jens Knoop, George C. Necula, Wolf Zimmermann (eds.) |
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Aditya Kanade, Amitabha Sanyal, Uday P. Khedker |
Structuring Optimizing Transformations and Proving Them Sound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006, pp. 79-95, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | David Aspinall 0001, Lennart Beringer, Alberto Momigliano |
Optimisation Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006, pp. 37-59, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lennart Beringer |
Functional Elimination of Phi-instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006, pp. 3-20, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jens Knoop, George C. Necula, Wolf Zimmermann |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006, pp. 1-2, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yi Fang 0001, Lenore D. Zuck |
Improved Invariant Generation for Tvoc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006, pp. 21-35, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Glesner, Johannes Leitner, Jan Olaf Blech |
Coinductive Verification of Program Optimizations Using Similarity Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006, pp. 61-77, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Eric Van Wyk, Lijesh Krishnan |
Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006, pp. 109-122, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Amme, Marc-André Möller, Philipp Adler |
Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006, pp. 97-108, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Gal, Christian W. Probst, Michael Franz |
Structural Encoding of Static Single Assignment Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005, pp. 85-102, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jan Olaf Blech, Sabine Glesner, Johannes Leitner, Steffen Mülling |
Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005, pp. 33-51, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ying Hu 0003, Clark W. Barrett, Benjamin Goldberg, Amir Pnueli |
Validating More Loop Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005, pp. 69-84, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jens Knoop, George C. Necula, Wolf Zimmermann |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005, pp. 1-3, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hans Langmaack |
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?: Auf Deutsch: Welche Art mathematischer Argumentation darf die Informatikwissenschaft einem Softwareimplementierer auf jeden Fall zumuten? ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005, pp. 5-32, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Amme, Jeffery von Ronne, Michael Franz |
Quantifying the Benefits of SSA-Based Mobile Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005, pp. 103-119, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Salcianu, Konstantine Arkoudas |
Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005, pp. 53-68, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jens Knoop, George C. Necula, Wolf Zimmermann (eds.) |
Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Jens Knoop, George C. Necula, Wolf Zimmermann (eds.) |
Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Benjamin Goldberg, Lenore D. Zuck, Clark W. Barrett |
Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 53-71, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Glesner, Simone Forster, Matthias Jäger |
A Program Result Checker for the Lexical Analysis of the GNU C Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 19-35, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Klohs, Uwe Kastens |
Memory Requirements of Java Bytecode Verification on Limited Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 95-111, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Arnd Poetzsch-Heffter, Marek Gawkowski |
Towards Proof Generating Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 37-51, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Glesner |
A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 73-93, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sid Ahmed Ali Touati |
On the Optimality of Register Saturation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 131-148, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jens Knoop, George C. Necula, Wolf Zimmermann |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 1-3, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Lerner, Todd D. Millstein, Craig Chambers |
Cobalt: A Language for Writing Provably-Sound Compiler Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 5-17, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
An Abstract Interpretation-based Approach to Mobile Code Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 113-129, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jens Knoop, Wolf Zimmermann (eds.) |
Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Sabine Glesner, Jan Olaf Blech |
Classifying and Formally Verifying Integer Constant Folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003, pp. 410-425, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski |
A Functional Perspective on SSA Optimisation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003, pp. 347-361, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Berghofer, Martin Strecker |
Extracting a formally verified, fully executable compiler from a proof assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003, pp. 377-394, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie |
A Java Card CAP converter in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003, pp. 426-442, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Alias, Denis Barthou |
On the Recognition of Algorithm Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003, pp. 395-409, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Hartmann 0001, Wolfram Amme, Jeffery von Ronne, Michael Franz |
Code Annotation for Safe and Efficient Dynamic Object Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003, pp. 362-376, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Henning Dierks |
Moby/RT: A Tool for Specification and Verification of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003, pp. 346, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gerolf Hoflehner, Daniel M. Lavery, David C. Sehr |
The compiler as a validation and evaluation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003, pp. 443-460, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Rüdiger Olderog |
Translation and Optimization in the Verification of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003, pp. 345, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jens Knoop, Wolf Zimmermann |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003, pp. 343-344, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Thi Viet Nga Nguyen, François Irigoin |
Alias verification for Fortran code optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 52-66, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Clara Jaramillo, Rajiv Gupta 0001, Mary Lou Soffa |
Debugging and Testing Optimizers through Comparison Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 83-99, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Lenore D. Zuck, Amir Pnueli, Yi Fang 0001, Benjamin Goldberg |
VOC: A Translation Validator for Optimizing Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 2-18, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jens Knoop, Wolf Zimmermann |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 115-116, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Carl Christian Frederiksen |
Correctness of Classical Compiler Optimizations using CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 37-51, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 67-82, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Goerigk |
Towards Acceptability of Optimizations: An Extended View of Compiler Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 100-114, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Glesner, Rubino Geiß, Boris Boesler |
Verified Code Generation for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 19-36, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Goos |
Compiler Verification and Compiler Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 1, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jens Knoop, Wolf Zimmermann (eds.) |
Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
Displaying result #1 - #55 of 55 (100 per page; Change: )
|
|