Pascal Kuyten - Rewrite Rules supporting Conditional Statements for Automatic Parallelization

author:Pascal Kuyten
title:Rewrite Rules supporting Conditional Statements for Automatic Parallelization
keywords:Proof Rewriting, Separation Logic, Automatic Parallelization and Optimization, Conditional Hoare Triples
committee:?
graduation date:June 2009


Abstract

Hurlin recently proposed a technique for automatic parallelization based on separation logic [9]. 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.