Fast static analysis of C++ virtual function calls
- 1 October 1996
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 31 (10), 324-341
- https://doi.org/10.1145/236338.236371
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Slicing class hierarchies in C++Published by Association for Computing Machinery (ACM) ,1996
- Simple and effective analysis of statically-typed object-oriented programsPublished by Association for Computing Machinery (ACM) ,1996
- Type feedback vs. concrete type inferencePublished by Association for Computing Machinery (ACM) ,1995
- Simple and effective link-time optimization of Modula-3 programsPublished by Association for Computing Machinery (ACM) ,1995
- Constraint-based type inference and parametric polymorphismLecture Notes in Computer Science, 1994
- Interprocedural modification side effect analysis with pointer aliasingPublished by Association for Computing Machinery (ACM) ,1993
- Unreachable procedures in object-oriented programmingACM Letters on Programming Languages and Systems, 1992
- Object, message, and performance: how they coexist in SelfComputer, 1992
- Iterative type analysis and extended message splitting: Optimizing dynamically-typed object-oriented programsHigher-Order and Symbolic Computation, 1991
- An efficient implementation of SELF, a dynamically-typed object-oriented language based on prototypesHigher-Order and Symbolic Computation, 1991