default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st AIOOL@VMCAI 2005: Paris, France
- Agostino Cortesi, Francesco Logozzo:
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005. Electronic Notes in Theoretical Computer Science 131, Elsevier 2005 - Agostino Cortesi
, Francesco Logozzo:
Preface. 1-2 - Cyrille Artho, Armin Biere:
Combined Static and Dynamic Analysis. 3-14 - Coen De Roover, Kris Gybels, Theo D'Hondt:
Towards Abstract Interpretation for Recovering Design Information. 15-25 - Andreas Gal, Christian W. Probst, Michael Franz:
Integrated Java Bytecode Verification. 27-38 - Ali Habibi, Sofiène Tahar:
On the Transformation of SystemC to AsmL Using Abstract Interpretation. 39-49 - Viktor Kuncak, Martin C. Rinard:
Decision Procedures for Set-Valued Fields. 51-62 - Bor-Yuh Evan Chang, K. Rustan M. Leino:
Inferring Object Invariants: Extended Abstract. 63-74 - Francesco Logozzo, Agostino Cortesi:
Abstract Interpretation and Object-oriented Programming: Quo Vadis? 75-84 - Isabelle Pollet, Baudouin Le Charlier:
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation. 85-98 - Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky:
Fast Escape Analysis for Region-based Memory Management. 99-110 - Christian Skalka, Scott F. Smith, David Van Horn:
A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). 111-124 - Greta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv:
Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work. 125-138
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.
last updated on 2026-09-01 03:20 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
