Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "AIOOL@VMCAI"( http://dblp.L3S.de/Venues/AIOOL@VMCAI )

URL (DBLP): http://dblp.uni-trier.de/db/conf/vmcai

Publication years (Num. hits)
2005 (13)
Publication types (Num. hits)
inproceedings(12) proceedings(1)
Venues (Conferences, Journals, ...)
AIOOL@VMCAI(13)
Authors
Agostino Cortesi(3) Francesco Logozzo(3) Alexey Skidanov(1) Ali Habibi(1) Andreas Gal(1) Armin Biere(1) Baudouin Le Charlier(1) Bor-Yuh Evan Chang(1) Christian Skalka(1) Christian W. Probst(1) Coen De Roover(1) Cyrille Artho(1) David Van Horn(1) Diego Garbervetsky(1) Greta Yorsh(1) Guillaume Salagnac(1) More (+10 of total 28)
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
1Bor-Yuh Evan Chang, K. Rustan M. Leino Inferring Object Invariants: Extended Abstract. Search on Bibsonomy AIOOL@VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky Fast Escape Analysis for Region-based Memory Management. Search on Bibsonomy AIOOL@VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ali Habibi, Sofiène Tahar On the Transformation of SystemC to AsmL Using Abstract Interpretation. Search on Bibsonomy AIOOL@VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Coen De Roover, Kris Gybels, Theo D'Hondt Towards Abstract Interpretation for Recovering Design Information. Search on Bibsonomy AIOOL@VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Greta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work. Search on Bibsonomy AIOOL@VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Isabelle Pollet, Baudouin Le Charlier Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation. Search on Bibsonomy AIOOL@VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Francesco Logozzo, Agostino Cortesi Abstract Interpretation and Object-oriented Programming: Quo Vadis? Search on Bibsonomy AIOOL@VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Viktor Kuncak, Martin C. Rinard Decision Procedures for Set-Valued Fields. Search on Bibsonomy AIOOL@VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Cyrille Artho, Armin Biere Combined Static and Dynamic Analysis. Search on Bibsonomy AIOOL@VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Agostino Cortesi, Francesco Logozzo Preface. Search on Bibsonomy AIOOL@VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Christian Skalka, Scott F. Smith 0001, David Van Horn A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). Search on Bibsonomy AIOOL@VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Andreas Gal, Christian W. Probst, Michael Franz Integrated Java Bytecode Verification. Search on Bibsonomy AIOOL@VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Agostino 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 AIOOL@VMCAI The full citation details ... 2005 DBLP  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license