A Simple Model of Separation Logic for Higher−Order Store

A Simple Model of Separation Logic for Higher−Order Store

Bibliographic Details
Main Authors:	Birkedal, L, Reus, B, Schwinghammer, J, Yang, H
Format:	Conference item
Published:	Springer−Verlag 2008

Similar Items

Nested Hoare Triples and Frame Rule for Higher−order Store
by: Schwinghammer, J, et al.
Published: (2009)

Nested Hoare Triples and Frame Rule for Higher−order Store
by: Schwinghammer, J, et al.
Published: (2011)

Nested Hoare Triples and Frame Rules for Higher-order Store
by: Jan Schwinghammer, et al.
Published: (2011-09-01)

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

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

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

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

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

A Semantic Foundation for Hidden State
by: Schwinghammer, J, et al.
Published: (2010)

A Step−Indexed Kripke Model of Hidden State
by: Schwinghammer, J, et al.
Published: (2011)

Step−Indexed Kripke Models over Recursive Worlds
by: Birkedal, L, et al.
Published: (2011)

Step-Indexed Kripke Models over Recursive Worlds
by: Birkedal, L, et al.
Published: (2011)

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)

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

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

Higher-order anisotropic models in phase separation
by: Cherfils Laurence, et al.
Published: (2017-03-01)

The Complexity of Model Checking Higher-Order Fixpoint Logic
by: Roland Axelsson, et al.
Published: (2007-06-01)

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

Learning higher-order logic programs
by: Cropper, A, et al.
Published: (2019)

Higher Order Logic and Hardware Verification
by: Melham, T
Published: (1993)

Henkin on Nominalism and Higher-Order Logic
by: Diego Pinheiro Fernandes
Published: (2022-08-01)

Light Logics and Higher-Order Processes
by: Ugo Dal Lago, et al.
Published: (2010-11-01)

Step-Indexed Relational Reasoning for Countable Nondeterminism
by: Lars Birkedal, et al.
Published: (2013-10-01)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
by: Sadrzadeh, M
Published: (2003)

A Probabilistic Higher-order Fixpoint Logic
by: Yo Mitani, et al.
Published: (2021-12-01)

Translating Dependent Type Theory into Higher Order Logic
by: Jacobs, B, et al.
Published: (1993)

Hardware Verification using Higher−Order Logic
by: Camilleri, A, et al.
Published: (1987)

Hardware Verification using Higher−Order Logic
by: Camilleri, A, et al.
Published: (1986)

Superposition for Lambda-Free Higher-Order Logic
by: Alexander Bentkamp, et al.
Published: (2021-04-01)

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

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

A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic
by: Jian Zhong, et al.
Published: (2020-06-01)

Automating Recursive Type Definitions in Higher Order Logic
by: Melham, T
Published: (1989)

Automating Recursive Type Definitions in Higher Order Logic
by: Melham, T
Published: (1988)

Extensional Semantics for Higher-Order Logic Programs with Negation
by: Panos Rondogiannis, et al.
Published: (2018-06-01)

Logical Reasoning for Higher-Order Functions with Local State
by: Nobuko Yoshida, et al.
Published: (2008-10-01)

The Frege-Geach Problem and the Logic of Higher-Order Attitudes
by: Bahram Alizade
Published: (2023-06-01)

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

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