Partial Information through Logic Variables
conventional
program variables
int x;
x
0
store
program
x
79
x := 79;
x := 82;
Previous slide
Next slide
Back to first slide
View graphic version