A semantics for procedure local heaps and its abstractions

DOI10.1145/1040305.1040330zbMath1369.68154OpenAlexW2138245690MaRDI QIDQ5276154

Jörg Bauer, Mooly Sagiv, Reinhard Wilhelm, Noam Rinetzky, Thomas W. Reps

Publication date: 14 July 2017

Published in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1040305.1040330

zbMATH Keywords

3-valued logicstatic analysisshape analysisabstract interpretation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data ⋮ Inference of Field-Sensitive Reachability and Cyclicity ⋮ Interprocedural shape analysis using separation logic-based transformer summaries ⋮ Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs ⋮ Access Analysis-Based Tight Localization of Abstract Memories ⋮ Separation Logic Tutorial

This page was built for publication: A semantics for procedure local heaps and its abstractions