Relational Parametricity and Separation Logic
From MaRDI portal
Publication:3518282
DOI10.2168/LMCS-4(2:6)2008zbMath1153.68355MaRDI QIDQ3518282
Publication date: 7 August 2008
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Refactoring and representation independence for class hierarchies ⋮ Frame rule for mutually recursive procedures manipulating pointers