Search dblp for Publications

export results for "toc:db/conf/cocv/cocv2006.bht:"

 download as .bib file

@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}
}

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.