A concurrent logical relation

DOI10.4230/LIPICS.CSL.2012.107MaRDI QIDQ4649541zbMATHFDO

Authors Filip Sieczkowski, Jacob Thamsborg, Lars Birkedal

Publication date 22 November 2012

zbMATH Keywords

verificationconcurrencylogical relationtype and effect system

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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)

• An algebraic theory for shared-state concurrency
• Correctness of a higher-order removal transformation through a relational reasoning.
• On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem
• Logical relations and nondeterminism
• A relational model of types-and-effects in higher-order concurrent separation logic
• A Kripke logical relation for effect-based program transformations
• Transfinite step-indexing: decoupling concrete and logical steps
• scientific article; zbMATH DE number 7407781 (Why is no real title available?)
• A Kripke logical relation for effect-based program transformations

Describes a project that uses

Uses Software

• ML

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)