default search action

combined dblp search
author search
venue search
publication search

ask others

1st AIOOL@VMCAI 2005: Paris, France

> Home > Conferences and Workshops > VMCAI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/vmcai/2005aiool
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/2005aiool
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CortesiL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CortesiL05
Agostino Cortesi, Francesco Logozzo:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ArthoB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ArthoB05
Cyrille Artho, Armin Biere:
Combined Static and Dynamic Analysis. 3-14
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RooverGD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RooverGD05
Coen De Roover, Kris Gybels, Theo D'Hondt:
Towards Abstract Interpretation for Recovering Design Information. 15-25
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GalPF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GalPF05
Andreas Gal, Christian W. Probst, Michael Franz:
Integrated Java Bytecode Verification. 27-38
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HabibiT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HabibiT05
Ali Habibi, Sofiène Tahar:
On the Transformation of SystemC to AsmL Using Abstract Interpretation. 39-49
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KuncakR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KuncakR05
Viktor Kuncak, Martin C. Rinard:
Decision Procedures for Set-Valued Fields. 51-62
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ChangRL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ChangRL05
Bor-Yuh Evan Chang, K. Rustan M. Leino:
Inferring Object Invariants: Extended Abstract. 63-74
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LogozzoC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LogozzoC05
Francesco Logozzo, Agostino Cortesi:
Abstract Interpretation and Object-oriented Programming: Quo Vadis? 75-84
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PolletC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PolletC05
Isabelle Pollet, Baudouin Le Charlier:
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation. 85-98
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SalagnacYG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SalagnacYG05
Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky:
Fast Escape Analysis for Region-based Memory Management. 99-110
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SkalkaSH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SkalkaSH05
Christian Skalka, Scott F. Smith, David Van Horn:
A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). 111-124
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/YorshSRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/YorshSRS05
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.