AMAST 2006 - PDF Preprint Papers

AMAST 2006 International Conference on Algebraic Methodology and Software Technology

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed AMAST-2006 Paper

click to vote

AMAST
2006
Springer

181views Software Engineering» more AMAST 2006»

Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic

14 years 3 months ago

Download www.math.kyoto-u.ac.jp

This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...

Susumu Nishimura

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	181	Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic	claim
2	134	The Essence of Multitasking	claim
3	132	A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker	claim
4	131	State Space Reduction of Rewrite Theories Using Invisible Transitions	claim
5	126	Realizability Criteria for Compositional MSC	claim
6	124	Fork Algebras as a Sufficiently Rich Universal Institution	claim
7	124	Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues	claim
8	123	State Space Representation for Verification of Open Systems	claim
9	121	A Compositional Semantics of Plan Revision in Intelligent Agents	claim
10	115	Opaque Predicates Detection by Abstract Interpretation	claim
11	115	DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications	claim
12	107	Some Programming Languages for Logspace and Ptime	claim
13	105	Hyperfinite Approximations to Labeled Markov Transition Systems	claim
14	105	ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams	claim
15	96	Data Movement Optimisation in Point-Free Form	claim
16	95	Formal Islands	claim
17	85	Testing Semantics: Connecting Processes and Process Logics	claim
18	79	The Substitution Vanishes	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers