Recognition of logically related regions based heap abstraction
From MaRDI portal
Publication:1942939
DOI10.1016/j.joems.2011.12.011zbMath1258.68181arXiv1212.5094MaRDI QIDQ1942939
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
data structures; heap abstraction; object co-location; pool allocation; region-based garbage collection; static deallocation
68W05: Nonnumerical algorithms
68R10: Graph theory (including graph drawing) in computer science
68P05: Data structures
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Cites Work
- 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
- Unnamed Item
- Unnamed Item