Establishing local temporal heap safety properties with applications to compile-time memory management

DOI10.1016/J.SCICO.2005.02.010zbMath1093.68057OpenAlexW4231056679MaRDI QIDQ2568456

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

Publication date: 10 October 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2005.02.010

zbMATH Keywords

verificationsafety propertiesshape analysisabstract interpretationgarbage collectionmemory liveness

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• SLAM
• SPIN

This page was built for publication: Establishing local temporal heap safety properties with applications to compile-time memory management