Search dblp for Publications

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

 download as .bib file

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