Class analysis of object-oriented programs through abstract interpretation

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

Volumn 2030, Issue , 2001, Pages 261-275

  Jensen, Thomas ^a   Spoto, Fausto ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Abstract interpretation; Class analysis; Domain theory; Object oriented languages; Semantics

Indexed keywords

ABSTRACTING; DATA FLOW ANALYSIS; MODEL CHECKING; SEMANTICS; STATIC ANALYSIS;

ABSTRACT INTERPRETATIONS; CLASS ANALYSIS; CONSTRAINT-BASED; DOMAIN THEORY; FORMALISATION; RAPID TYPE ANALYSIS;

OBJECT ORIENTED PROGRAMMING;

EID: 84945249806     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45315-6_17     Document Type: Conference Paper

References (13)

1. O. Agesen. Constraint-Based Type Inference and Parametric Polymorphism. In B. Le Charlier, editor, Proc. of the 1st Int. Static Analysis Symp., volume 864 of Lecture Notes in Computer Science, pages 78-100. Springer-Verlag, 1994.
2. D. F. Bacon and P. F. Sweeney. Fast Static Analysis of C++ Virtual Function Calls. In Proc. of OOPSLA'96, volume 31(10) of ACM SIGPLAN Notices, pages 324-341, New York, 1996. ACM Press.
3. P. Bertelsen. Semantics of Java Byte Code. Technical report, Department of Information Technology, Technical University of Denmark, March 1997.
4. E. Börger and W. Schulte. Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. In L. Brim, J. Grunska, and J. Zlatusla, editors, 23rd Int. Symp. on Mathematical Foundations of Computer Science. Springer LNCS vol. 1450, 1998.
5. A. Cortesi, G. Filé, and W. Winsborough. The Quotient of an Abstract Interpretation. Theoretical Computer Science, 202(1-2):163-192, 1998.
6. P. Cousot. Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. In S. Brookes and M. Mislove, editors, 13th Conf. on Math. Found. of Programming Semantics, volume 6 of Electronic Notes on Theoretical Computer Science, Pittsburgh, PA, USA, March 1997. Elsevier Science Publishers. Available at http://www.elsevier.nl/locate/entcs/volume6.html.
7. P. Cousot. Types as Abstract Interpretations. In 24th ACM Symposium on Principles of Programming Languages (POPL'97), pages 316-331. ACM Press, 1997.
8. 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 Symp. on Principles of Programming Languages, pages 238-252, 1977.
9. P. Cousot and R. Cousot. Systematic Design of Program Analysis Frameworks. In 6th ACM Symp. on Principles of Programming Languages, pages 269-282, 1979.
10. A. Diwan, J. E. B. Moss, and K. S. McKinley. Simple and Effective Analysis of Statically Typed Object-Oriented Programs. In Proc. of OOPSLA'96, volume 31(10) of ACM SIGPLAN Notices, pages 292-305, New York, 1996. ACM Press.
11. J. Palsberg and M. I. Schwartzbach. Object-Oriented Type Inference. In Proc. of OOPSLA'91, volume 26(11) of ACM SIGPLAN Notices, pages 146-161. ACM Press, November 1991.
12. J. Plevyak and A. A. Chien. Precise Concrete Type Inference for Object-Oriented Languages. In Proc. of OOPSLA'94, volume 29(10) of ACM SIGPLAN Notices, pages 324-340. ACM Press, October 1994.
13. O. Shivers. Control-Flow Analysis in Scheme. In Proc. of the 1988 Conf. on Programming Languages Design and Implementation, volume 23(7) of ACM SIGPLAN Notices, pages 164-174. ACM Press, July 1988.