default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/cocv:"
download as .bib file
@inproceedings{DBLP:journals/entcs/BlechP07,
author = {Jan Olaf Blech and
Arnd Poetzsch{-}Heffter},
editor = {Sabine Glesner and
Jens Knoop and
Rolf Drechsler},
title = {A Certifying Code Generation Phase},
booktitle = {Proceedings of the Workshop on Compiler Optimization meets Compiler
Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {4},
pages = {65--82},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.09.008},
doi = {10.1016/J.ENTCS.2007.09.008},
timestamp = {Tue, 31 Jan 2023 16:00:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlechP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BloemGJPPW07,
author = {Roderick Bloem and
Stefan J. Galler and
Barbara Jobstmann and
Nir Piterman and
Amir Pnueli and
Martin Weiglhofer},
editor = {Sabine Glesner and
Jens Knoop and
Rolf Drechsler},
title = {Specify, Compile, Run: Hardware from {PSL}},
booktitle = {Proceedings of the Workshop on Compiler Optimization meets Compiler
Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {4},
pages = {3--16},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.09.004},
doi = {10.1016/J.ENTCS.2007.09.004},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BloemGJPPW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FangS07,
author = {Ling Fang and
Masataka Sassa},
editor = {Sabine Glesner and
Jens Knoop and
Rolf Drechsler},
title = {Generating Java Compiler Optimizers Using Bidirectional {CTL}},
booktitle = {Proceedings of the Workshop on Compiler Optimization meets Compiler
Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {4},
pages = {49--63},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.09.007},
doi = {10.1016/J.ENTCS.2007.09.007},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FangS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GallardoJM07,
author = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Christophe Joubert and
Pedro Merino},
editor = {Sabine Glesner and
Jens Knoop and
Rolf Drechsler},
title = {On-the-Fly Data Flow Analysis Based on Verification Technology},
booktitle = {Proceedings of the Workshop on Compiler Optimization meets Compiler
Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {4},
pages = {33--48},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.09.006},
doi = {10.1016/J.ENTCS.2007.09.006},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GallardoJM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GlesnerKD07,
author = {Sabine Glesner and
Jens Knoop and
Rolf Drechsler},
editor = {Sabine Glesner and
Jens Knoop and
Rolf Drechsler},
title = {Preface},
booktitle = {Proceedings of the Workshop on Compiler Optimization meets Compiler
Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {4},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.09.003},
doi = {10.1016/J.ENTCS.2007.09.003},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GlesnerKD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hamilton07,
author = {Geoff W. Hamilton},
editor = {Sabine Glesner and
Jens Knoop and
Rolf Drechsler},
title = {Distilling Programs for Verification},
booktitle = {Proceedings of the Workshop on Compiler Optimization meets Compiler
Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {4},
pages = {17--32},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.09.005},
doi = {10.1016/J.ENTCS.2007.09.005},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hamilton07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cocv/2006,
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Proceedings of the 5th International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April
2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {3},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/176/issue/3},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cocv/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cocv/2007,
editor = {Sabine Glesner and
Jens Knoop and
Rolf Drechsler},
title = {Proceedings of the Workshop on Compiler Optimization meets Compiler
Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {4},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/190/issue/4},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cocv/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmmeMA07,
author = {Wolfram Amme and
Marc{-}Andr{\'{e}} M{\"{o}}ller and
Philipp Adler},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Data Flow Analysis as a General Concept for the Transport of Verifiable
Program Annotations},
booktitle = {Proceedings of the 5th International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April
2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {3},
pages = {97--108},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.06.019},
doi = {10.1016/J.ENTCS.2006.06.019},
timestamp = {Tue, 31 Jan 2023 13:22:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AmmeMA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AspinallBM07,
author = {David Aspinall and
Lennart Beringer and
Alberto Momigliano},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Optimisation Validation},
booktitle = {Proceedings of the 5th International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April
2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {3},
pages = {37--59},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.06.017},
doi = {10.1016/J.ENTCS.2006.06.017},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AspinallBM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Beringer07,
author = {Lennart Beringer},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Functional Elimination of Phi-instructions},
booktitle = {Proceedings of the 5th International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April
2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {3},
pages = {3--20},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.06.003},
doi = {10.1016/J.ENTCS.2007.06.003},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Beringer07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FangZ07,
author = {Yi Fang and
Lenore D. Zuck},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Improved Invariant Generation for Tvoc},
booktitle = {Proceedings of the 5th International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April
2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {3},
pages = {21--35},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.06.016},
doi = {10.1016/J.ENTCS.2006.06.016},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FangZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GlesnerLB07,
author = {Sabine Glesner and
Johannes Leitner and
Jan Olaf Blech},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Coinductive Verification of Program Optimizations Using Similarity
Relations},
booktitle = {Proceedings of the 5th International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April
2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {3},
pages = {61--77},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.02.037},
doi = {10.1016/J.ENTCS.2006.02.037},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GlesnerLB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KanadeSK07,
author = {Aditya Kanade and
Amitabha Sanyal and
Uday P. Khedker},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Structuring Optimizing Transformations and Proving Them Sound},
booktitle = {Proceedings of the 5th International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April
2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {3},
pages = {79--95},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.06.018},
doi = {10.1016/J.ENTCS.2006.06.018},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KanadeSK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KnoopNZ07,
author = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Preface},
booktitle = {Proceedings of the 5th International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April
2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.06.002},
doi = {10.1016/J.ENTCS.2007.06.002},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KnoopNZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WykK07,
author = {Eric Van Wyk and
Lijesh Krishnan},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Using Verified Data-Flow Analysis-based Optimizations in Attribute
Grammars},
booktitle = {Proceedings of the 5th International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April
2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {3},
pages = {109--122},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.06.020},
doi = {10.1016/J.ENTCS.2006.06.020},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WykK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmmeRF05,
author = {Wolfram Amme and
Jeffery von Ronne and
Michael Franz},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Quantifying the Benefits of SSA-Based Mobile Code},
booktitle = {Proceedings of the Fourth International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April
3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {2},
pages = {103--119},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.02.046},
doi = {10.1016/J.ENTCS.2005.02.046},
timestamp = {Tue, 13 Dec 2022 10:38:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AmmeRF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlechGLM05,
author = {Jan Olaf Blech and
Sabine Glesner and
Johannes Leitner and
Steffen M{\"{u}}lling},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Optimizing Code Generation from {SSA} Form: {A} Comparison Between
Two Formal Correctness Proofs in Isabelle/HOL},
booktitle = {Proceedings of the Fourth International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April
3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {2},
pages = {33--51},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.02.042},
doi = {10.1016/J.ENTCS.2005.02.042},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlechGLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GalPF05a,
author = {Andreas Gal and
Christian W. Probst and
Michael Franz},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Structural Encoding of Static Single Assignment Form},
booktitle = {Proceedings of the Fourth International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April
3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {2},
pages = {85--102},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.02.045},
doi = {10.1016/J.ENTCS.2005.02.045},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GalPF05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HuBGP05,
author = {Ying Hu and
Clark W. Barrett and
Benjamin Goldberg and
Amir Pnueli},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Validating More Loop Optimizations},
booktitle = {Proceedings of the Fourth International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April
3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {2},
pages = {69--84},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.02.044},
doi = {10.1016/J.ENTCS.2005.02.044},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HuBGP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KnoopNZ05a,
author = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Preface},
booktitle = {Proceedings of the Fourth International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April
3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {2},
pages = {1--3},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.007},
doi = {10.1016/J.ENTCS.2005.07.007},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KnoopNZ05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Langmaack05,
author = {Hans Langmaack},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {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?},
booktitle = {Proceedings of the Fourth International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April
3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {2},
pages = {5--32},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.007},
doi = {10.1016/J.ENTCS.2005.05.007},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Langmaack05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SalcianuA05,
author = {Alexandru Salcianu and
Konstantine Arkoudas},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Machine-Checkable Correctness Proofs for Intra-procedural Dataflow
Analyses},
booktitle = {Proceedings of the Fourth International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April
3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {2},
pages = {53--68},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.02.043},
doi = {10.1016/J.ENTCS.2005.02.043},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SalcianuA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cocv/2004,
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Proceedings of the 3rd International Workshop on Compiler Optimization
Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April
3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {132},
number = {1},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/132/issue/1},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cocv/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cocv/2005,
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Proceedings of the Fourth International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April
3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {2},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/141/issue/2},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cocv/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertPH05,
author = {Elvira Albert and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {An Abstract Interpretation-based Approach to Mobile Code Safety},
booktitle = {Proceedings of the 3rd International Workshop on Compiler Optimization
Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April
3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {132},
number = {1},
pages = {113--129},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.032},
doi = {10.1016/J.ENTCS.2005.01.032},
timestamp = {Tue, 13 Dec 2022 10:38:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertPH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Glesner05,
author = {Sabine Glesner},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {A Proof Calculus for Natural Semantics Based on Greatest Fixed Point
Semantics},
booktitle = {Proceedings of the 3rd International Workshop on Compiler Optimization
Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April
3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {132},
number = {1},
pages = {73--93},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.02.011},
doi = {10.1016/J.ENTCS.2005.02.011},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Glesner05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GlesnerFJ05,
author = {Sabine Glesner and
Simone Forster and
Matthias J{\"{a}}ger},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {A Program Result Checker for the Lexical Analysis of the {GNU} {C}
Compiler},
booktitle = {Proceedings of the 3rd International Workshop on Compiler Optimization
Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April
3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {132},
number = {1},
pages = {19--35},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.029},
doi = {10.1016/J.ENTCS.2005.01.029},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GlesnerFJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoldbergZB05,
author = {Benjamin Goldberg and
Lenore D. Zuck and
Clark W. Barrett},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Into the Loops: Practical Issues in Translation Validation for Optimizing
Compilers},
booktitle = {Proceedings of the 3rd International Workshop on Compiler Optimization
Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April
3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {132},
number = {1},
pages = {53--71},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.030},
doi = {10.1016/J.ENTCS.2005.01.030},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GoldbergZB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KlohsK05,
author = {Karsten Klohs and
Uwe Kastens},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Memory Requirements of Java Bytecode Verification on Limited Devices},
booktitle = {Proceedings of the 3rd International Workshop on Compiler Optimization
Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April
3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {132},
number = {1},
pages = {95--111},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.031},
doi = {10.1016/J.ENTCS.2005.01.031},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KlohsK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KnoopNZ05,
author = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Preface},
booktitle = {Proceedings of the 3rd International Workshop on Compiler Optimization
Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April
3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {132},
number = {1},
pages = {1--3},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.021},
doi = {10.1016/J.ENTCS.2005.03.021},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KnoopNZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LernerMC05,
author = {Sorin Lerner and
Todd D. Millstein and
Craig Chambers},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Cobalt: {A} Language for Writing Provably-Sound Compiler Optimizations},
booktitle = {Proceedings of the 3rd International Workshop on Compiler Optimization
Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April
3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {132},
number = {1},
pages = {5--17},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.022},
doi = {10.1016/J.ENTCS.2005.03.022},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LernerMC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Poetzsch-HeffterG05,
author = {Arnd Poetzsch{-}Heffter and
Marek Gawkowski},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Towards Proof Generating Compilers},
booktitle = {Proceedings of the 3rd International Workshop on Compiler Optimization
Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April
3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {132},
number = {1},
pages = {37--51},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.023},
doi = {10.1016/J.ENTCS.2005.03.023},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Poetzsch-HeffterG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Touati05,
author = {Sid Ahmed Ali Touati},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {On the Optimality of Register Saturation},
booktitle = {Proceedings of the 3rd International Workshop on Compiler Optimization
Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April
3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {132},
number = {1},
pages = {131--148},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.033},
doi = {10.1016/J.ENTCS.2005.01.033},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Touati05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cocv/2003,
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003,
Warsaw, Poland, April 12, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {2},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/82/issue/2},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cocv/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AliasB03,
author = {Christophe Alias and
Denis Barthou},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {On the Recognition of Algorithm Templates},
booktitle = {Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003,
Warsaw, Poland, April 12, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {2},
pages = {395--409},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82599-X},
doi = {10.1016/S1571-0661(05)82599-X},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AliasB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BerghoferS03,
author = {Stefan Berghofer and
Martin Strecker},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Extracting a formally verified, fully executable compiler from a proof
assistant},
booktitle = {Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003,
Warsaw, Poland, April 12, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {2},
pages = {377--394},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82598-8},
doi = {10.1016/S1571-0661(05)82598-8},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BerghoferS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChakravartyKZ03,
author = {Manuel M. T. Chakravarty and
Gabriele Keller and
Patryk Zadarnowski},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {A Functional Perspective on {SSA} Optimisation Algorithms},
booktitle = {Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003,
Warsaw, Poland, April 12, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {2},
pages = {347--361},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82596-4},
doi = {10.1016/S1571-0661(05)82596-4},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChakravartyKZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Dierks03,
author = {Henning Dierks},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Moby/RT: {A} Tool for Specification and Verification of Real-Time
Systems},
booktitle = {Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003,
Warsaw, Poland, April 12, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {2},
pages = {346},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82595-2},
doi = {10.1016/S1571-0661(05)82595-2},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Dierks03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GenetJKP03,
author = {Thomas Genet and
Thomas P. Jensen and
Vikash Kodati and
David Pichardie},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {A Java Card {CAP} converter in {PVS}},
booktitle = {Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003,
Warsaw, Poland, April 12, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {2},
pages = {426--442},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82601-5},
doi = {10.1016/S1571-0661(05)82601-5},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GenetJKP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GlesnerB03,
author = {Sabine Glesner and
Jan Olaf Blech},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Classifying and Formally Verifying Integer Constant Folding},
booktitle = {Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003,
Warsaw, Poland, April 12, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {2},
pages = {410--425},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82600-3},
doi = {10.1016/S1571-0661(05)82600-3},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GlesnerB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HartmannARF03,
author = {Andreas Hartmann and
Wolfram Amme and
Jeffery von Ronne and
Michael Franz},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Code Annotation for Safe and Efficient Dynamic Object Resolution},
booktitle = {Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003,
Warsaw, Poland, April 12, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {2},
pages = {362--376},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82597-6},
doi = {10.1016/S1571-0661(05)82597-6},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HartmannARF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HoflehnerLS03,
author = {Gerolf Hoflehner and
Daniel M. Lavery and
David C. Sehr},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {The compiler as a validation and evaluation tool},
booktitle = {Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003,
Warsaw, Poland, April 12, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {2},
pages = {443--460},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82602-7},
doi = {10.1016/S1571-0661(05)82602-7},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/HoflehnerLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KnoopZ03,
author = {Jens Knoop and
Wolf Zimmermann},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Preface},
booktitle = {Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003,
Warsaw, Poland, April 12, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {2},
pages = {343--344},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82593-9},
doi = {10.1016/S1571-0661(05)82593-9},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KnoopZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Olderog03,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Translation and Optimization in the Verification of Real-Time Systems},
booktitle = {Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003,
Warsaw, Poland, April 12, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {2},
pages = {345},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82594-0},
doi = {10.1016/S1571-0661(05)82594-0},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Olderog03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Frederiksen02,
author = {Carl Christian Frederiksen},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Correctness of Classical Compiler Optimizations using {CTL}},
booktitle = {Compiler Optimization Meets Compiler Verification, {COCV} 2002, Satellite
Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {2},
pages = {37--51},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80395-5},
doi = {10.1016/S1571-0661(04)80395-5},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Frederiksen02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GlesnerGB02,
author = {Sabine Glesner and
Rubino Gei{\ss} and
Boris Boesler},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Verified Code Generation for Embedded Systems},
booktitle = {Compiler Optimization Meets Compiler Verification, {COCV} 2002, Satellite
Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {2},
pages = {19--36},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80394-3},
doi = {10.1016/S1571-0661(04)80394-3},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GlesnerGB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Goerigk02,
author = {Wolfgang Goerigk},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Towards Acceptability of Optimizations: An Extended View of Compiler
Correctness},
booktitle = {Compiler Optimization Meets Compiler Verification, {COCV} 2002, Satellite
Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {2},
pages = {100--114},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80399-2},
doi = {10.1016/S1571-0661(04)80399-2},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Goerigk02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Goos02,
author = {Gerhard Goos},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Compiler Verification and Compiler Architecture},
booktitle = {Compiler Optimization Meets Compiler Verification, {COCV} 2002, Satellite
Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {2},
pages = {1},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80392-X},
doi = {10.1016/S1571-0661(04)80392-X},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Goos02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JaramilloGS02,
author = {Clara Jaramillo and
Rajiv Gupta and
Mary Lou Soffa},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Debugging and Testing Optimizers through Comparison Checking},
booktitle = {Compiler Optimization Meets Compiler Verification, {COCV} 2002, Satellite
Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {2},
pages = {83--99},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80398-0},
doi = {10.1016/S1571-0661(04)80398-0},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JaramilloGS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KnoopZ02,
author = {Jens Knoop and
Wolf Zimmermann},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Preface},
booktitle = {Compiler Optimization Meets Compiler Verification, {COCV} 2002, Satellite
Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {2},
pages = {115--116},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80400-1},
doi = {10.1016/S1571-0661(05)80400-1},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KnoopZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NguyenI02,
author = {Thi Viet Nga Nguyen and
Fran{\c{c}}ois Irigoin},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Alias verification for Fortran code optimization},
booktitle = {Compiler Optimization Meets Compiler Verification, {COCV} 2002, Satellite
Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {2},
pages = {52--66},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80396-7},
doi = {10.1016/S1571-0661(04)80396-7},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NguyenI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ShashidharBCJ02,
author = {K. C. Shashidhar and
Maurice Bruynooghe and
Francky Catthoor and
Gerda Janssens},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Geometric Model Checking: An Automatic Verification Technique for
Loop and Data Reuse Transformations},
booktitle = {Compiler Optimization Meets Compiler Verification, {COCV} 2002, Satellite
Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {2},
pages = {67--82},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80397-9},
doi = {10.1016/S1571-0661(04)80397-9},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ShashidharBCJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZuckPFG02,
author = {Lenore D. Zuck and
Amir Pnueli and
Yi Fang and
Benjamin Goldberg},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {{VOC:} {A} Translation Validator for Optimizing Compilers},
booktitle = {Compiler Optimization Meets Compiler Verification, {COCV} 2002, Satellite
Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {2},
pages = {2--18},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80393-1},
doi = {10.1016/S1571-0661(04)80393-1},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZuckPFG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cocv/2002,
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Compiler Optimization Meets Compiler Verification, {COCV} 2002, Satellite
Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {2},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/65/issue/2},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cocv/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-11-10 13:40 CET from data curated 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:
