Possible Worlds and Resources: The Semantics of BI

Possible Worlds and Resources: The Semantics of BI

Bibliographic Details
Main Authors:	Pym, D, O'Hearn, P, Yang, H
Format:	Journal article
Published:	2004

Similar Items

A Semantic Basis for Local Reasoning
by: Yang, H, et al.
Published: (2015)

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

Compositional Shape Analysis by Means of Bi-Abduction
by: Calcagno, C, et al.
Published: (2011)

Compositional Shape Analysis by means of Bi−abduction
by: Calcagno, C, et al.
Published: (2009)

Compositional Shape Analysis by means of Bi−abduction
by: Calcagno, C, et al.
Published: (2011)

OCA Oracle database [electronic resource] : SQL certified expert exam guide : (exam 1Z0-047) /
by: O'Hearn, Steve.
Published: (2010)

Ireland in the World-System: An Interview with Denis O'Hearn
by: Aidan Beatty, et al.
Published: (2016-03-01)

OCP developer PL/SQL program units exam guide / [cakera padat]
by: O'Hearn, Steve
Published: (2002)

OCP developer PL/SQL program units exam guide /
by: O'Hearn, Steve
Published: (2002)

OCA Oracle database : SQL certified expert exam guide : (exam 1Z0-047) /
by: O'Hearn, Steve.
Published: (2010)

Nocet esse feracem: An Ecofeminist Analysis of the Pseudo-Ovidian Nux
by: Leah O’Hearn
Published: (2024-01-01)

Review of Alternatives to Capitalism: Proposals for a Democratic Economy by Robin Hahnel and Erik Olin Wright. 2016. London: Verso. 148 pages, ISBN 978-1-7847-8504-8 Paper ($19.95)
by: Dennis O'Hearn
Published: (2018-08-01)

Amartya Sen's Development as Freedom: Ten Years Later
by: Denis O'Hearn
Published: (2009-04-01)

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

Separation and Information Hiding
by: O'Hearn, P, et al.
Published: (2004)

Local Reasoning about Programs that Alter Data Structures
by: O'Hearn, P, et al.
Published: (2001)

Computability and Complexity Results for a Spatial Assertion Language for Data Structures
by: Calcagno, C, et al.
Published: (2001)

Separation and Information Hiding
by: O’Hearn, P, et al.
Published: (2009)

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

Genetic variants for personalised management of very low carbohydrate ketogenic diets
by: L Amber O’Hearn

Footprint Analysis: A Shape Analysis that Discovers Preconditions
by: Calcagno, C, et al.
Published: (2007)

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
by: Calcagno, C, et al.
Published: (2006)

Age differences and brain maturation provide insight into heterogeneous results in autism spectrum disorder
by: Kirsten O’Hearn, et al.
Published: (2023-02-01)

Global health influences internationalization priorities at Canadian universities
by: S. O'hearn, et al.
Published: (2014-09-01)

Abstraction for Concurrent Objects
by: Filipovic, I, et al.
Published: (2010)

SAW: the spatial assertion workbench
by: Calcagno, C, et al.
Published: (2015)

Abstraction for Concurrent Objects
by: Filipovic, I, et al.
Published: (2009)

Abstraction for concurrent objects
by: Filipovic, I, et al.
Published: (2010)

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

Intuitionistic Layered Graph Logic: Semantics and Proof Theory
by: Simon Docherty, et al.
Published: (2018-10-01)

On ‘actually’ and ‘dthat’: Truth-Conditional Differences in Possible Worlds Semantics
by: Genoveva Martí, et al.
Published: (2019-08-01)

Blaiming the Client: On Data Reﬁnement in the Presence of Pointers
by: Filipovic, I, et al.
Published: (2010)

Nonstandard Semantics for Modal Logic and the Concept of a Logically Possible World
by: Dale Jacquette
Published: (2005-11-01)

Chronic Ulcerative Herpes Simplex Virus Infection of the Vulva
by: Kelly Griffith-Bauer, et al.
Published: (2012-09-01)

Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
by: Alexander V. Gheorghiu, et al.
Published: (2023-06-01)

Classical BI: Its Semantics and Proof Theory
by: James Brotherston, et al.
Published: (2010-07-01)

Shape Analysis for Composite Data Structures
by: Berdine, J, et al.
Published: (2007)

Operationalization of assent for research participation in pre-adolescent children: a scoping review
by: Florence Cayouette, et al.
Published: (2022-11-01)

Scalable Shape Analysis for Systems Code
by: Yang, H, et al.
Published: (2008)

Scalable shape analysis for systems code
by: Yang, H, et al.
Published: (2008)