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.
Will be presented at The 11th Twente Student Conference on IT, to be held June 29, 2009