Logical characterizations of heap abstractions
From MaRDI portal
Publication:5277770
DOI10.1145/1182613.1182618zbMath1367.68078arXivcs/0312014OpenAlexW2069969904MaRDI QIDQ5277770
Greta Yorsh, Mooly Sagiv, Reinhard Wilhelm, Thomas W. Reps
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0312014
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Verification of Boolean programs with unbounded thread creation ⋮ Abstraction Refinement for Quantified Array Assertions ⋮ Sound and Complete Abstract Graph Transformation
