Semantic hierarchy refactoring by abstract interpretation

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

Volumn 3855 LNCS, Issue , 2006, Pages 313-331

  Logozzo, Francesco ^a   Cortesi, Agostino ^b  

^a ECOLE NORMALE SUPÉRIEURE   (France)

^b CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE ALGORITHMS; DATA ACQUISITION; HIERARCHICAL SYSTEMS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SYNTACTICS;

HIERARCHY REFACTORING; SEMANTIC SUBCLASS; SEMANTIC SUPERCLASS; TUNABLILITY;

ABSTRACTING;

EID: 33745665573     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (34)

1. G. Bracha and W. R. Cook. Mixin-based inheritance. In 5th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '90), volume 25(10) of SIGPLAN Notices, pages 303-311, October 1990.
2. L. Cardelli. A semantics of multiple inheritance. In G. Kahn, D. MacQueen, and G. Plotkin, editors, Semantics of Data Types, volume 173 of Lecture Notes in Computer Science, pages 51-67, Berlin, 1984.
3. Springer-Verlag. Full version in Information and Computation, 76(2/3):138-164, 1988.
4. G. Castagna. Covariance and contravariance: conflict without a cause. ACM Transactions on Programming Languages and Systems, 17(3):431-447, March 1995.
5. W. R. Cook, W. Hill, and P. S. Canning. Inheritance is not subtyping. In Proceedings of the 17th annual ACM SIGPLAN-SIGACT Symposium on Principles of programming languages (POPL'90). ACM Press, January 1990.
6. W. R. Cook and J. Palsberg. A denotational semantics of inheritance and its correctness. Information and Computation, 114(2):329-350, November 1994.
7. T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stei. Introduction to Algorithms, Second Edition, The MIT Press and McGraw-Hill Book Company, 2001.
8. A. Cortesi and F. Logozzo. Abstract interpretation-based verification of non functional requirements. In Proceedings of the 7th International Conference on Coordination Models and Languages (COORD'05), volume 3654 of Lectures Notes in Computer Science, pages 49-62. Springer-Verlag, April 2005.
9. P. Cousot. Methods and logics for proving programs. In J. van Leeuwen, editor, Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science, chapter 15, pages 843-993. Elsevier Science, 1990.
10. P. Cousot. Types as abstract interpretations, invited paper. In 24th ACM Symposium on Principles of Programming Languages (POPL '97), pages 316-331. ACM Press, January 1997.
11. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th ACM Symposium on Principles of Programming Languages (POPL '77), pages 238-252. ACM Press, January 1977.
12. P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In 6th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '79), pages 269-282. ACM Press, 1979.
13. P. Cousot and R. Cousot. Systematic design of program transformation frameworks by abstract interpretation. In 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '02), pages 178-190. ACM Press, New York, NY, January 2002.
14. O. Dahl and K. Nygaard. SIMULA - an ALGOL-based simulation language. Communications of the ACM (CACM), 9(9):671-678, September 1966.
15. D. L. Detlefs, K. Rustan M. Leino, G. Nelson, and Saxe J.B. Extended static checking. Research Report #159, Compaq Systems Research Center, Palo Alto, USA, December 1998.
16. A. Goldberg and D. Robson. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, 1983.
17. P. Granger. Static analysis of linear congruence equalities among variables of a program. In International Joint Conference on Theory and Practice of Software Development (TAPSOFT'91), volume 464 of Lectures Notes in Computer Science, pages 169-192. Springer-Verlag, April 1991.
18. G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary Design of JML: A Behavioral Interface Specification Language for Java, November 2003.
19. B. H. Liskov and J. M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811-1841, November 1994.
20. F. Logozzo. Class-level modular analysis for object oriented languages. In Proceedings of the 10th Static Analysis Symposium 2003 (SAS '03), volume 2694 of Lectures Notes in Computer Science, pages 37-54. Springer-Verlag, June 2003.
21. F. Logozzo. An approach to behavioral subtyping based on static analysis. In Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004), Electronic Notes in Theoretical Computer Science. Elsevier Science, April 2004.
22. F. Logozzo. Automatic inference of class invariants. In Proceedings of the 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI '04), volume 2937 of Lectures Notes in Computer Science, pages 211-222. Springer-Verlag, January 2004.
23. F. Logozzo. Modular Static Analysis of Object-oriented languges. PhD thesis, École Polytecnique, 2004.
24. F. Logozzo. Class invariants as abstract interpretation of trace semantics. Computer Languages, Systems and Structures, 2005 (to appear).
25. F. Logozzo and A. Cortesi. Semantic class hierarchies by abstract intepretation. Technical Report CS-2004-7, Dipartimento di Informatica, Università Ca' Foscari di Venezia, Italy, 2004.
26. B. Meyer. Object-Oriented Software Construction (2nd Edition). Professional Technical Reference. Prentice Hall, 1997.
27. A. Miné. The octagon abstract domain. In AST 2001 in WCRE 2001, IEEE, pages 310-319. IEEE CS Press, October 2001.
28. NetBeans.org and Sun Mycrosystem, Inc. Netbeans IDE, 2004.
29. P. Odifreddi. Classical Recursion Theory. Elsevier, Amsterdam, 1999.
30. J. Palsberg and M.I. Schwartzbach. Object-Oriented Type Systems. John Wiley & Sons, Chichester, 1994.
31. I. Pollet, B. Le Charlier, and A. Cortesi. Distinctness and sharing domains for static analysis of Java programs. In Proceedings of the European Conference on Object Oriented Programming (ECOOP '01), volume 2072 of Lectures Notes in Computer Science, pages 77-98. Springer-Verlag, 2001.
32. S. Sagiv, T.W. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. ACM Transactions on Programming Languages and Systems, 24(3):217-288, 2002.
33. G. Snelting and F. Tip. Semantics-based composition of class hierarchies. In Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP'02), volume 2374 of Lectures Notes in Computer Science, pages 562-584. Springer-Verlag, June 2002.
34. M. Streckenbach and G. Snelting. Refactoring class hierarchies with KABA. In Proceedings of the 19th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '04). ACM Press, 2004.