Relational Parametricity and Separation Logic

DOI10.2168/LMCS-4(2:6)2008MaRDI QIDQ3518282zbMATH OpenFDO

Authors Hongseok Yang, Lars Birkedal

Publication date 7 August 2008

Published in Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Reynolds's relational parametricity

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• Relational Parametricity and Separation Logic
• Separation Logic for Higher-Order Store
• Relational separation logic
• Two for the price of one: lifting separation logic assertions
• Separation Logic Tutorial

Cited in

(15)

• Relational Parametricity and Separation Logic
• Refactoring and representation independence for class hierarchies
• Frame rule for mutually recursive procedures manipulating pointers
• Separation logic style reasoning in a refinement based language
• Two for the price of one: lifting separation logic assertions
• Domain independence and the relational calculus
• Extending separation logic with fixpoints and postponed substitution
• scientific article; zbMATH DE number 35423 (Why is no real title available?)
• Context logic as modal logic, completeness and parametric inexpressivity
• Algebraic Methodology and Software Technology
• Relational separation logic
• Relational Complexity and Higher Order Logics
• Static Analysis
• Programming Languages and Systems
• Relations in monadic third-order logic

This page was built for publication: Relational Parametricity and Separation Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3518282)