Compiler Basics
An array language gives the illusion of arrays as indivisible objects ... temps/temp removal
Next := Next | (Im@w & Im@n & !Im);
Processing arrays creates loops around each statement ... loop fusion/contraction
Conn := Im@e | Im@se | Im@s;
Conn := Im & !Next & !Conn;
Communication optimizations ...
Next := Im & (Im@n | Im@nw | Im@w);
Next := Next | (Im@w & Im@n & !Im);