Search dblp for Publications

export results for "toc:db/journals/entcs/entcs131.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/ArthoB05,
  author       = {Cyrille Artho and
                  Armin Biere},
  editor       = {Agostino Cortesi and
                  Francesco Logozzo},
  title        = {Combined Static and Dynamic Analysis},
  booktitle    = {Proceedings of the First International Workshop on Abstract Interpretation
                  of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
                  21, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {131},
  pages        = {3--14},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.018},
  doi          = {10.1016/J.ENTCS.2005.01.018},
  timestamp    = {Tue, 13 Dec 2022 15:04:42 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ArthoB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ChangRL05,
  author       = {Bor{-}Yuh Evan Chang and
                  K. Rustan M. Leino},
  editor       = {Agostino Cortesi and
                  Francesco Logozzo},
  title        = {Inferring Object Invariants: Extended Abstract},
  booktitle    = {Proceedings of the First International Workshop on Abstract Interpretation
                  of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
                  21, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {131},
  pages        = {63--74},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.023},
  doi          = {10.1016/J.ENTCS.2005.01.023},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChangRL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CortesiL05,
  author       = {Agostino Cortesi and
                  Francesco Logozzo},
  editor       = {Agostino Cortesi and
                  Francesco Logozzo},
  title        = {Preface},
  booktitle    = {Proceedings of the First International Workshop on Abstract Interpretation
                  of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
                  21, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {131},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.010},
  doi          = {10.1016/J.ENTCS.2005.02.010},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CortesiL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GalPF05,
  author       = {Andreas Gal and
                  Christian W. Probst and
                  Michael Franz},
  editor       = {Agostino Cortesi and
                  Francesco Logozzo},
  title        = {Integrated Java Bytecode Verification},
  booktitle    = {Proceedings of the First International Workshop on Abstract Interpretation
                  of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
                  21, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {131},
  pages        = {27--38},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.020},
  doi          = {10.1016/J.ENTCS.2005.01.020},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GalPF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HabibiT05,
  author       = {Ali Habibi and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Agostino Cortesi and
                  Francesco Logozzo},
  title        = {On the Transformation of SystemC to AsmL Using Abstract Interpretation},
  booktitle    = {Proceedings of the First International Workshop on Abstract Interpretation
                  of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
                  21, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {131},
  pages        = {39--49},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.021},
  doi          = {10.1016/J.ENTCS.2005.01.021},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HabibiT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KuncakR05,
  author       = {Viktor Kuncak and
                  Martin C. Rinard},
  editor       = {Agostino Cortesi and
                  Francesco Logozzo},
  title        = {Decision Procedures for Set-Valued Fields},
  booktitle    = {Proceedings of the First International Workshop on Abstract Interpretation
                  of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
                  21, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {131},
  pages        = {51--62},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.022},
  doi          = {10.1016/J.ENTCS.2005.01.022},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KuncakR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LogozzoC05,
  author       = {Francesco Logozzo and
                  Agostino Cortesi},
  editor       = {Agostino Cortesi and
                  Francesco Logozzo},
  title        = {Abstract Interpretation and Object-oriented Programming: Quo Vadis?},
  booktitle    = {Proceedings of the First International Workshop on Abstract Interpretation
                  of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
                  21, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {131},
  pages        = {75--84},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.024},
  doi          = {10.1016/J.ENTCS.2005.01.024},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LogozzoC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PolletC05,
  author       = {Isabelle Pollet and
                  Baudouin Le Charlier},
  editor       = {Agostino Cortesi and
                  Francesco Logozzo},
  title        = {Towards a Complete Static Analyser for Java: an Abstract Interpretation
                  Framework and its Implementation},
  booktitle    = {Proceedings of the First International Workshop on Abstract Interpretation
                  of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
                  21, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {131},
  pages        = {85--98},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.025},
  doi          = {10.1016/J.ENTCS.2005.01.025},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PolletC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RooverGD05,
  author       = {Coen De Roover and
                  Kris Gybels and
                  Theo D'Hondt},
  editor       = {Agostino Cortesi and
                  Francesco Logozzo},
  title        = {Towards Abstract Interpretation for Recovering Design Information},
  booktitle    = {Proceedings of the First International Workshop on Abstract Interpretation
                  of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
                  21, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {131},
  pages        = {15--25},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.019},
  doi          = {10.1016/J.ENTCS.2005.01.019},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/RooverGD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SalagnacYG05,
  author       = {Guillaume Salagnac and
                  Sergio Yovine and
                  Diego Garbervetsky},
  editor       = {Agostino Cortesi and
                  Francesco Logozzo},
  title        = {Fast Escape Analysis for Region-based Memory Management},
  booktitle    = {Proceedings of the First International Workshop on Abstract Interpretation
                  of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
                  21, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {131},
  pages        = {99--110},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.026},
  doi          = {10.1016/J.ENTCS.2005.01.026},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SalagnacYG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SkalkaSH05,
  author       = {Christian Skalka and
                  Scott F. Smith and
                  David Van Horn},
  editor       = {Agostino Cortesi and
                  Francesco Logozzo},
  title        = {A Type and Effect System for Flexible Abstract Interpretation of Java:
                  (Extended Abstract)},
  booktitle    = {Proceedings of the First International Workshop on Abstract Interpretation
                  of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
                  21, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {131},
  pages        = {111--124},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.027},
  doi          = {10.1016/J.ENTCS.2005.01.027},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SkalkaSH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/YorshSRS05,
  author       = {Greta Yorsh and
                  Alexey Skidanov and
                  Thomas W. Reps and
                  Shmuel Sagiv},
  editor       = {Agostino Cortesi and
                  Francesco Logozzo},
  title        = {Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs:
                  Ongoing Work},
  booktitle    = {Proceedings of the First International Workshop on Abstract Interpretation
                  of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
                  21, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {131},
  pages        = {125--138},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.028},
  doi          = {10.1016/J.ENTCS.2005.01.028},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/YorshSRS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vmcai/2005aiool,
  editor       = {Agostino Cortesi and
                  Francesco Logozzo},
  title        = {Proceedings of the First International Workshop on Abstract Interpretation
                  of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
                  21, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {131},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/131/suppl/C},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/2005aiool.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.