Regions: State What, not How

• Most languages define indices operationally by looping

  • Regions are index sets of arbitrary size
  • Regions and region operators (of, at, in, etc.) replace indexing and simplify programming

region R = [1..8,1..8];

region C = [2..7,2..7];

var X,Y : [R] integer;

[C] X:=

[C] Y@E:=

[N of C] Y:=

Previous slide

Next slide

Back to first slide

View graphic version