Automatic Parallelization and Optimization of Programs by Proof Rewriting

DOI10.1007/978-3-642-03237-0_6zbMath1248.68147OpenAlexW1606028453MaRDI QIDQ3392920

Clément Hurlin

Publication date: 18 August 2009

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00380528v2/file/finalversion.pdf

Mathematics Subject Classification ID

Logic in computer science (03B70) 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

• Isabelle
• VeriFast
• Smallfoot
• Tom
• jStar

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Resources, concurrency, and local reasoning
• Enhancing modular OO verification with separation logic
• Automatic Parallelization and Optimization of Programs by Proof Rewriting
• Local Reasoning for Storable Locks and Threads
• Certificate Translation for Optimizing Compilers
• Automatic Parallelization with Separation Logic
• The parallel execution of DO loops
• Formal certification of a compiler back-end or
• Shape Analysis for Composite Data Structures
• Programming Languages and Systems
• Separation Logic Contracts for a Java-Like Language with Fork/Join
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Automatic Parallelization and Optimization of Programs by Proof Rewriting