Establishing Local Temporal Heap Safety Properties

DMCA

Establishing Local Temporal Heap Safety Properties (2003)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by With Applications To , Ran Shaham , Eran Yahav , Elliot K. Kolodner , Mooly Sagiv

Venue:

In Static Analysis Symposium

Citations

1158	Advanced Compiler Design and Implementation - Muchnick - 1997
761	Systematic design of program analysis frameworks - COUSOT, COUSOT - 1979
654	Bandera: Extracting finite-state models from java source code - Corbett, Dwyer, et al. - 2000
486	Garbage collection. Algorithms for automatic dynamic memory management - Jones, Lins - 1996
298	ESP: path-sensitive program verification in polynomial time - Das, Lerner, et al. - 2002
144	Dependence analysis for pointer variables. - HORWITZ, PFEIFFER, et al. - 1989
106	Better static memory management: improving region-based analysis of higher-order languages. - Aiken, Fahndrich, et al. - 1995
100	From region inference to von Neumann machines via region representation inference - Birkedal, Tofte, et al. - 1996
99	Escape analysis for object oriented languages: Application to Java - Blanchet - 1999
87	Putting static analysis to work for verification: A case study - Lev-Ami, Reps, et al. - 2000
81	Enforcing trace properties by program transformation. - Colcombet, Fradet - 2000
76	Garbage collection and local variable type-precision and liveness in Java virtual machines. - Agesen, Detlefs, et al. - 1998
65	SLIC: A specification language for interface checking (of C - Ball, Rajamani - 2002
54	Combining region inference and garbage collection - Hallenberg, Elsman, et al. - 2002
53	Shifting garbage collection overhead to compile time - Barth - 1977
41	TVLA: A framework for Kleene based static analysis - Lev-Ami, Sagiv - 2000
35	Analysis of functional programs to detect run-time garbage cells - Inoue, Seki, et al. - 1988
31	Interprocedural shape analysis for recursive programs. - Rinetzky, Sagiv - 2001
24	On the usefulness of type and liveness accuracy for garbage collection and leak detection. - Hirzel, Diwan, et al. - 2002
13	Copy avoidance through compile-time analysis and local reuse - Foster, Winsborough - 1991
10	Compiling with Continuations, chapter 16 - Appel - 1992
6	Compile-time garbage collection for lazy functional languages - Hamilton - 1995