ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
15
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
737
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
737
Fine-grain, large-domain climate models based on climate station and comprehensive topographic information improve microrefugia detection
Authors:
Kristoffer Hylander
,
Eric Meineri
Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version)
Authors:
Shravan Narayan
,
Craig Disselkoen
,
Tal Garfinkel
…
Fine-grained alignment of cryo-electron subtomograms based on MPI parallel optimization
Authors:
Yongchun Lu
,
Xiangrui Zeng
,
Xiaofang Zhao
…
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