Relational Parametricity and Separation Logic

Relational Parametricity and Separation Logic

Show other versions (1)

Bibliographic Details
Main Authors:	Birkedal, L, Yang, H
Format:	Conference item
Published:	Springer−Verlag 2007

Similar Items

Relational Parametricity and Separation Logic
by: Birkedal, L, et al.
Published: (2008)

Relational Parametricity and Separation Logic
by: Lars Birkedal, et al.
Published: (2008-05-01)

Two for the Price of One: Lifting Separation Logic Assertions
by: Thamsborg, J, et al.
Published: (2011)

Semantics of Separation−logic Typing and Higher−order Frame Rules
by: Birkedal, L, et al.
Published: (2005)

A Simple Model of Separation Logic for Higher−Order Store
by: Birkedal, L, et al.
Published: (2008)

Two for the Price of One: Lifting Separation Logic Assertions
by: Jacob Thamsborg, et al.
Published: (2012-09-01)

Semantics of Separation−logic Typing and Higher−order Frame Rules for Algol−like Languages
by: Birkedal, L, et al.
Published: (2006)

Relational Separation Logic
by: Yang, H
Published: (2007)

Logical Step-Indexed Logical Relations
by: Derek Dreyer, et al.
Published: (2011-06-01)

Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
by: Lars Birkedal, et al.
Published: (2006-11-01)

ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
by: Dan Frumin, et al.
Published: (2021-07-01)

Parametric Linear Dynamic Logic
by: Peter Faymonville, et al.
Published: (2014-08-01)

Variables as Resource in Separation Logic
by: Bornat, R, et al.
Published: (2006)

Local Action and Abstract Separation Logic
by: Calcagno, C, et al.
Published: (2007)

Separability in the Ambient Logic
by: Daniel Hirschkoff, et al.
Published: (2008-09-01)

From Separation Logic to First−Order Logic
by: Calcagno, P, et al.
Published: (2005)

Linear Abadi and Plotkin Logic
by: Lars Birkedal, et al.
Published: (2006-11-01)

Parametric Analysis of Flexible Logic Control Model
by: Lihua Fu, et al.
Published: (2013-01-01)

Graphical models of separation logic
by: Wehrman, I, et al.
Published: (2009)

Independence and concurrent separation logic
by: Jonathan Hayman, et al.
Published: (2008-03-01)

Escaping the Catastrophic Logic of Separation
Published: (2023-01-01)

A local shape analysis based on separation logic
by: Distefano, D, et al.
Published: (2015)

The Automated System for Parametric and Functional Control of the Logic ICS
by: Davydov George, et al.
Published: (2016-01-01)

Parametric Investigation in Malaysian Separate Sewer Systems
by: Hiew, Thong Yap, et al.
Published: (2017)

Separation Logic Semantics for Communicating Processes
by: Hoare, T, et al.
Published: (2008)

Amortised Resource Analysis with Separation Logic
by: Robert Atkey
Published: (2011-06-01)

Stone-Type Dualities for Separation Logics
by: Simon Docherty, et al.
Published: (2019-03-01)

Verifying Parallel Loops with Separation Logic
by: Stefan Blom, et al.
Published: (2014-06-01)

Cellular building components : investigation into parametric modeling and production logics
by: Austin, Charles B., M. Arch. Massachusetts Institute of Technology
Published: (2006)

Fuzzy logic predictive method for indoor environment parametric dataset
by: Ramachandran, Thinaharan, et al.
Published: (2017)

Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior
by: Tristram Bogart, et al.
Published: (2017-01-01)

Petri Nets with Fuzzy Logic (PNFL): reverse engineering and parametrization.
by: Robert Küffner, et al.
Published: (2010-01-01)

Regularized regressions for parametric models based on separated representations
by: Abel Sancarlos, et al.
Published: (2023-03-01)

Tractable Reasoning in a Fragment of Separation Logic.
by: Cook, B, et al.
Published: (2011)

Tractable reasoning in a fragment of separation logic
by: Cook, B, et al.
Published: (2011)

Separating Regular Languages with First-Order Logic
by: Thomas Place, et al.
Published: (2016-03-01)

Covering and separation for logical fragments with modular predicates
by: Thomas Place, et al.
Published: (2019-05-01)

Dynamic Separation Logic and its Use in Education
by: Evgeny Makarov
Published: (2020-11-01)

Parametric sensitivity analysis of the separation process for n-butanol production
by: Z. J., Johan, et al.
Published: (2020)

Function of One Regular Separable Relation Set Decided for the Minimal Covering in Multiple Valued Logic
by: Liu Yu Zhen, et al.
Published: (2016-01-01)