AIOOL 2005 : Inferring Object Invariants

Reference

2005

detail
pdf
ps

Inferring Object Invariants

Bor-Yuh Evan Chang and K. Rustan M. Leino

AIOOL 2005: International Workshop on Abstract Interpretation of Object-Oriented Languages

BibTeX

@string{AIOOL = "International Workshop on Abstract Interpretation of Object-Oriented Languages (AIOOL)"}
@inproceedings{objinv-aiool05,
  author = {Bor-Yuh Evan ChangK. Rustan M. Leino},
  title = {Inferring Object Invariants},
  booktitle = AIOOL,
  year = {2005},
  pages = {63-74},
  
}