Abstraction for Concurrent Objects

Abstraction for Concurrent Objects

Show other versions (2)

Bibliographic Details
Main Authors:	Filipovic, I, O’Hearn, P, Rinetzky, N, Yang, H
Format:	Journal article
Published:	2010

Similar Items

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

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

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

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

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

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

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

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

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)

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)

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

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

Towards Composable Concurrency Abstractions
by: Janwillem Swalens, et al.
Published: (2014-06-01)

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)

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

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)

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

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

CAULDRONS: An Abstraction for Concurrent Problem Solving
by: Haase, Ken
Published: (2004)

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

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)

The Non-Deterministic Path to Concurrency – Exploring how Students Understand the Abstractions of Concurrency
by: Filip STRÖMBÄCK, et al.
Published: (2021-12-01)

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

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

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)

An Abstraction Technique for Verifying Shared-Memory Concurrency
by: Wytse Oortwijn, et al.
Published: (2020-06-01)

Abstraction of situation calculus concurrent game structures
by: Lespérance, Y, et al.
Published: (2024)

On the Inherent Sequentiality of Concurrent Objects
by: Ellen, Faith, et al.
Published: (2012)

Counterexample-guided abstraction refinement for symmetric concurrent programs
by: Donaldson, A, et al.
Published: (2012)

Causality Analysis for Concurrent Reactive Systems (Extended Abstract)
by: Rayna Dimitrova, et al.
Published: (2019-01-01)

Channels as Objects in Concurrent Object-Oriented Programming
by: Joana Campos, et al.
Published: (2011-10-01)

Object-oriented concurrent programming /
by: Akinoro Yonezawa, et al.
Published: (1987)