Automatic inference of class invariants

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2937, Issue , 2004, Pages 211-222

  Logozzo, Francesco ^a  

^a ECOLE POLYTECHNIQUE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ITERATIVE METHODS; SEMANTICS; STATIC ANALYSIS;

AUTOMATIC INFERENCE; CLASS INVARIANTS; CLASS-BASED; EQUATION SYSTEMS; GENERIC FRAMEWORKS; SUBCLASSING;

MODEL CHECKING;

EID: 84944203825     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24622-0_18     Document Type: Conference Paper

References (17)

1. A. Aggarwal and K. H. Randall. Related field analysis. In PLDI’01. ACM Press, June 2001.
2. B. Blanchet. Escape analysis for object oriented languages. Application to Java. In OOPSLA’99. ACM Press, November 1999.
3. B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Min, D. Monniaux, and X. Rival. A Static Analyzer for Large Safety-Critical Software. In PLDI’03. ACM Press, June 2003.
4. R. Chatterjee, B. G. Ryder, and W. A. Landi. Relevant context inference. In POPL’99. ACM Press, January 1999.
5. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In POPL’77. ACM Press, January 1977.
6. P. Cousot and R. Cousot. Modular static program analysis, invited paper. In CC’02, volume 2304 of LNCS. Springer-Verlag, April 2002.
7. B. Eckel. Thinking in C++, 2nd Edition, volume 1. Prentice Hall, 2000.
8. M. Ernst. Dynamically Discovering Likely Program Invariants. PhD thesis, University of Washington Department of Computer Science and Engineering, 2002.
9. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In PLDI’02. ACM Press, June 2002.
10. S. Genaim and M. Codish. Incremental refinement of semantic based program analysis for logic programs. In ACSC’99, volume 1587 of LNCS. Springer-Verlag, January 1999.
11. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification – Second Edition. Sun Microsystems, 2001.
12. F. Logozzo. Class-level modular analysis for object oriented languages. In SAS’03, volume 2694 of LNCS. Springer-Verlag, June 2003.
13. F. Logozzo. Approximating module semantics with constraints. In SAC 2004. ACM Press, March 2004.
14. B. Meyer. Object-Oriented Software Construction. Prentice Hall, 1997.
15. A. Miné. The octagon abstract domain. In AST 2001 in WCRE 2001. IEEE CS Press, October 2001.
16. J. Palsberg and M.I. Schwartzbach. Object-Oriented Type Systems. John Wiley & Sons, Chichester, 1994.
17. G. Ramalingam, A Warshavsky, J. Field, D Goyal, and M Sagiv. Deriving specialized program analyses for certifying component-client conformance. In PLDI’02, June 2002.