Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management

DMCA

Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management (2003)

Cached

Download Links

Other Repositories/Bibliography

DBLP

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

Venue:	In Static Analysis Symposium
Citations:	29 - 8 self

BibTeX

@INPROCEEDINGS{Shaham03establishinglocal,
    author = {Ran Shaham and Eran Yahav and Elliot K. Kolodner and Mooly Sagiv},
    title = {Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management},
    booktitle = {In Static Analysis Symposium},
    year = {2003},
    pages = {483--503}
}

OpenURL

Abstract

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.

Keyphrases

local temporal heap safety property compile-time memory management program object temporal heap safety property verification process

DMCA