![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
1st 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.