Skip to the text

List of Assumptions

7 assumptions, in the order the thesis prints them.

1
PU-Transformation on CS-Level Not Possible
Page 24
2
RCS Implements $\gamma _{red}$
Page 80
3
Creation of CA-Tables for Atomic Conditionals
Page 94
4
Balanced Sharing and Complete CA-Tables
Page 104
5
Balanced Sharing and Single Lines
Page 111
6
Imbalanced Sharing Can be Determined from CS
Page 114
7
Transforming CS of C-Conditionals
Page 119