Graphical models of separation logic

Graphical models of separation logic

Bibliographic Details
Main Authors:	Wehrman, I, Hoare, C, O'Hearn, P
Format:	Journal article
Published:	2009

Similar Items

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

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

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: (2009)

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

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

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

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

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

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)

On Locality and the Exchange Law for Concurrent Processes
by: Hoare, C, et al.
Published: (2011)

Signals of energy availability in sleep: consequences of a fat-based metabolism
by: L. Amber O'Hearn
Published: (2024-08-01)

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

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

On Graphical Calculi for Modal Logics
by: Paulo A. S. Veloso, et al.
Published: (2016-12-01)

GRAPHIC REALIZATION FOUNDATIONS OF LOGIC-SEMANTIC MODELING IN DIDACTICS
by: V. E. Steinberg, et al.
Published: (2017-04-01)

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)

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

Computer graphics /
by: 198958 Hearn, Donald, et al.
Published: (1986)

Computer graphics /
by: 198958 Hearn, Donald, et al.
Published: (1994)

Concurrent Kleene Algebra and its Foundations
by: Hoare, T, et al.
Published: (2011)

Foundations of Concurrent Kleene Algebra
by: Hoare, C, et al.
Published: (2009)

Concurrent Kleene Algebra
by: Hoare, C, et al.
Published: (2009)

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

The logic of engineering design
by: Hoare, C
Published: (1996)

Possible Worlds and Resources: The Semantics of BI
by: Pym, D, et al.
Published: (2004)

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

Computer graphics with OpenGL /
by: Hearn, Donald., et al.
Published: (c201)

IEEE standard graphic symbols for logic functions /
by: 8595 Institute of Electrical and Electronics Engineers

Microcomputer graphics : techniques and application /
by: 198958 Hearn, Donald, et al.
Published: (1983)

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

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

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

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

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

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

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

Computer graphics, C version /
by: 198958 Hearn, Donald, et al.
Published: (1996)