Automatic Parallelization with Separation Logic

DOI10.1007/978-3-642-00590-9_25zbMath1234.68080OpenAlexW1537636533MaRDI QIDQ3617713

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

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

Related Items (1)

Automatic Parallelization and Optimization of Programs by Proof Rewriting

Uses Software

• Smallfoot

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