Common Contracts

PDF hosted at the Radboud Repository of the Radboud University Nijmegen

January 23rd, 2018

• Filed
  January 23rd, 2018

of code is executed repeatedly. The program in Fig. 2a has two execution paths that only differ during the execution of the conditional (lines 4–10). Figure 2c shows its skylines after merging. Until line 4 they are drawn as a single skyline. At line 4 is a split point, after which they are drawn separately. At line 11 they come together again, and continue so until the end of the function.