Concurrent Separation Logic for Pipelined Parallelization
From MaRDI portal
Publication:4930723
DOI10.1007/978-3-642-15769-1_10zbMath1306.68019OpenAlexW1775543359MaRDI QIDQ4930723
No author found.
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
Theory of compilers and interpreters (68N20) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication: Concurrent Separation Logic for Pipelined Parallelization