Recognition of logically related regions based heap abstraction

DOI10.1016/j.joems.2011.12.011zbMath1258.68181arXiv1212.5094OpenAlexW2038144554MaRDI QIDQ1942939

Mohamed A. El-Zawawy

Publication date: 14 March 2013

Published in: Journal of the Egyptian Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1212.5094

zbMATH Keywords

data structuresheap abstractionobject co-locationpool allocationregion-based garbage collectionstatic deallocation

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Graph theory (including graph drawing) in computer science (68R10) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Type systems equivalent to data-flow analyses for imperative languages
• Program and proof optimizations with type systems
• From flow logic to static type systems for coordination languages
• Simple relational correctness proofs for static analyses and program transformations
• Semi-sparse flow-sensitive pointer analysis
• An axiomatic basis for computer programming

This page was built for publication: Recognition of logically related regions based heap abstraction