Concurrent separation logic for pipelined parallelization

DOI10.1007/978-3-642-15769-1_10MaRDI QIDQ4930723zbMATH OpenOpenAlexFDO

Authors

Publication date 1 October 2010

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15769-1_10

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

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

Cited in

(2)

• Barriers in Concurrent Separation Logic
• Automatic Parallelization and Optimization of Programs by Proof Rewriting

This page was built for publication: Concurrent separation logic for pipelined parallelization

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