Automatic Parallelization with Separation Logic

DOI10.1007/978-3-642-00590-9_25MaRDI QIDQ3617713zbMATH OpenOpenAlexFDO

Authors Mohammad Raza, Cristiano Calcagno, Philippa Gardner

Publication date 31 March 2009

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00590-9_25

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• A semantics for concurrent separation logic
• Separation logic and concurrency
• Automatic Parallelization and Optimization of Programs by Proof Rewriting
• Program Verification with Separation Logic
• CONCUR 2004 - Concurrency Theory

Cited in

(7)

• Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic
• Lightweight Separation
• Semantic-aware automatic parallelization of modern applications using high-level abstractions
• Concurrent separation logic for pipelined parallelization
• Automatic Refinement of Split Binary Semaphore
• Automatic Parallelization and Optimization of Programs by Proof Rewriting
• A program logic for dependence analysis

Describes a project that uses

Uses Software

• Smallfoot

This page was built for publication: Automatic Parallelization with Separation Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617713)