A concurrent logical relation
From MaRDI portal
Publication:4649541
DOI10.4230/LIPICS.CSL.2012.107zbMATH Open1252.68074MaRDI QIDQ4649541FDOQ4649541
Authors: Filip Sieczkowski, Jacob Thamsborg, Lars Birkedal 
Publication date: 22 November 2012
Recommendations
- A relational model of types-and-effects in higher-order concurrent separation logic
- A Kripke logical relation for effect-based program transformations
- A Kripke logical relation for effect-based program transformations
- Correctness of a higher-order removal transformation through a relational reasoning.
- On transformations of concurrent object programs
Cited In (9)
- Transfinite step-indexing: decoupling concrete and logical steps
- A Kripke logical relation for effect-based program transformations
- Logical relations and nondeterminism
- A relational model of types-and-effects in higher-order concurrent separation logic
- Title not available (Why is that?)
- A Kripke logical relation for effect-based program transformations
- Correctness of a higher-order removal transformation through a relational reasoning.
- An algebraic theory for shared-state concurrency
- On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem
Uses Software
This page was built for publication: A concurrent logical relation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649541)
