Publication

The Program Decision Logic Approach to Predicated Execution