|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bor-Yuh Evan Chang, K. Rustan M. Leino |
Inferring Object Invariants: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIOOL@VMCAI ![In: Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005, pp. 63-74, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky |
Fast Escape Analysis for Region-based Memory Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIOOL@VMCAI ![In: Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005, pp. 99-110, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ali Habibi, Sofiène Tahar |
On the Transformation of SystemC to AsmL Using Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIOOL@VMCAI ![In: Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005, pp. 39-49, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Coen De Roover, Kris Gybels, Theo D'Hondt |
Towards Abstract Interpretation for Recovering Design Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIOOL@VMCAI ![In: Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005, pp. 15-25, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Greta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv |
Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIOOL@VMCAI ![In: Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005, pp. 125-138, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Isabelle Pollet, Baudouin Le Charlier |
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIOOL@VMCAI ![In: Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005, pp. 85-98, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Logozzo, Agostino Cortesi |
Abstract Interpretation and Object-oriented Programming: Quo Vadis? ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIOOL@VMCAI ![In: Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005, pp. 75-84, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Kuncak, Martin C. Rinard |
Decision Procedures for Set-Valued Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIOOL@VMCAI ![In: Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005, pp. 51-62, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Cyrille Artho, Armin Biere |
Combined Static and Dynamic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIOOL@VMCAI ![In: Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005, pp. 3-14, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Cortesi, Francesco Logozzo |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIOOL@VMCAI ![In: Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005, pp. 1-2, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christian Skalka, Scott F. Smith 0001, David Van Horn |
A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIOOL@VMCAI ![In: Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005, pp. 111-124, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Gal, Christian W. Probst, Michael Franz |
Integrated Java Bytecode Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIOOL@VMCAI ![In: Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005, pp. 27-38, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Cortesi, Francesco Logozzo (eds.) |
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIOOL@VMCAI ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|