Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
16
views
22
references
Top references
cited by
12
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,220
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Static Analysis
Modular Safety Checking for Fine-Grained Concurrency
other
Author(s):
Cristiano Calcagno
,
Matthew Parkinson
,
Viktor Vafeiadis
Publication date
(Print):
2007
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Most cited references
22
Record
: found
Abstract
: not found
Article
: not found
Symbolic execution and program testing
James C King
(1976)
0
comments
Cited
164
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Verifying properties of parallel programs: an axiomatic approach
Susan Owicki
,
David Gries
(1976)
0
comments
Cited
54
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
A Local Shape Analysis Based on Separation Logic
Dino Distefano
,
Peter O’Hearn
,
Hongseok Yang
(2006)
0
comments
Cited
44
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Pages
: 233-248
DOI:
10.1007/978-3-540-74061-2_15
SO-VID:
e3abf695-29c2-46c4-be1c-e9c7410a5ba1
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 452
Magic-Sets Transformation for the Analysis of Java Bytecode
pp. 87
Formalised Inductive Reasoning in the Logic of Bunched Implications
pp. 170
A New Algorithm for Identifying Loops in Decompilation
pp. 233
Modular Safety Checking for Fine-Grained Concurrency
pp. 249
Static Analysis of Dynamic Communication Systems by Partner Abstraction
pp. 349
Guided Static Analysis
pp. 384
Shape Analysis with Structural Invariant Checkers
pp. 437
Astrée: From Research to Industry
Similar content
1,220
Concurrent separation of CO2 and H2O from air by a temperature-vacuum swing adsorption/desorption cycle.
Authors:
Jan Andre Wurzbacher
,
Christoph Gebald
,
Nicolas Piatkowski
…
Can One Concurrently Record Electrical Spikes from Every Neuron in a Mammalian Brain?
Authors:
David Kleinfeld
,
Lan Luan
,
Partha Mitra
…
Concurrent OCT and OCT angiography of retinal neurovascular degeneration in the 5XFAD Alzheimer’s disease mice
Authors:
Tae-Hoon Kim
,
Taeyoon Son
,
Dieter Klatt
…
See all similar
Cited by
12
Thread Quantification for Concurrent Shape Analysis
Authors:
J. Berdine
,
T. Lev-Ami
,
R. Manevich
…
Proving Copyless Message Passing
Authors:
Jules Villard
,
Etienne Lozes
,
Cristiano Calcagno
Shape-Value Abstraction for Verifying Linearizability
Authors:
Viktor Vafeiadis
See all cited by