Static Analysis
From MaRDI portal
Publication:5466572
DOI10.1007/b99688zbMath1104.68021MaRDI QIDQ5466572
Viktor Kuncak, Martin C. Rinard
Publication date: 24 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b99688
Records; Types; Program Verification; Static Analysis; Shape Analysis; Description Logic; Two-Variable Logic with Counting
03B70: Logic in computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction, On the almighty wand, Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography, A logic of reachable patterns in linked data-structures, A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs, On the Almighty Wand, A Spatial Equational Logic for the Applied π-Calculus