Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

33

CONCUR
2005
Springer

favoriteEmaildiscussreport

83views Distributed And Parallel Com...» more CONCUR 2005»

A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs

14 years 4 months ago

A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs

Download iml.univ-mrs.fr

Abstract. In this paper we show how to compress eﬃciently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that model). The technology used here is based on research on geometric semantics by the authors and ators [1]. It has been implemented in a abstract interpretation based static analyzer (ALCOOL), and we show some preliminary results and benchmarks.

Eric Goubault, Emmanuel Haucourt

Real-time Traffic

Abstract Interpretation | CONCUR 2005 | Geometric Semantics | Simple Shared Memory |

claim paper

Related Content

» Semantic Reduction of Thread Interleavings in Concurrent Programs

» Integrating Physical Systems in the Static Analysis of Embedded Control Software

» Ypnos declarative parallel structured grid programming

» Scalable nonblocking concurrent objects for mission critical code

» An annotation assistant for interactive debugging of programs with common synchronization ...

» Execution Strategies for PTIDES a Programming Model for Distributed Embedded Systems

» A type system for borrowing permissions

» Mutatis mutandis safe and predictable dynamic software updating

» Resolving and applying constraint queries on contextsensitive analyses

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	CONCUR
Authors	Eric Goubault, Emmanuel Haucourt

Comments (0)