Relational Parametricity and Separation Logic

DOI10.2168/LMCS-4(2:6)2008zbMATH Open1153.68355MaRDI QIDQ3518282FDOQ3518282

Authors: Hongseok Yang, Lars Birkedal 

Publication date: 7 August 2008

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

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

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)

Cited In (15)

• Relational Parametricity and Separation Logic
• Separation logic style reasoning in a refinement based language
• Two for the price of one: lifting separation logic assertions
• Refactoring and representation independence for class hierarchies
• Frame rule for mutually recursive procedures manipulating pointers
• Domain independence and the relational calculus
• Extending separation logic with fixpoints and postponed substitution
• Title not available (Why is that?)
• 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)