|title:||Rewrite Rules supporting Conditional Statements for Automatic Parallelization|
|keywords:||Proof Rewriting, Separation Logic, Automatic Parallelization and Optimization, Conditional Hoare Triples|
Hurlin recently proposed a technique for automatic parallelization based on separation logic . This paper proposes an enhancement of the mechanism for situations where conditional statements are used in specifications of programs. With the proposed changes, specifications containing conditional statements are supported and programs can be automatically parallelized. Two approaches are identified and a preferable one is suggested. The proposed extension is illustrated by an exemplifying program and has been implemented.