Compiler optimization of C++ virtual function calls
Sara Porat, David Bernstein, et al.
COOTS 1996
We present a framework for statically reasoning about temporal heap safety properties. We focus on local temporal heap safety properties, in which the verification process may be performed for a program object independently of other program objects. We apply our framework to produce new conservative static algorithms for compile-time memory management, which prove for certain program points that a memory object or a heap reference will not be needed further. These algorithms can be used for reducing space consumption of Java programs. We have implemented a prototype of our framework, and used it to verify compile-time memory management properties for several small, but interesting example programs, including JavaCard programs. © 2005 Elsevier B.V. All rights reserved.
Sara Porat, David Bernstein, et al.
COOTS 1996
Michael Kuperstein, Martin Vechev, et al.
FMCAD 2010
Matthew Arnold, Martin Vechev, et al.
OOPSLA 2008
Ciro Formisano, Elliot K. Kolodner, et al.
Scalable Computing