Sciweavers

CORR
2007
Springer
51views Education» more  CORR 2007»
13 years 4 months ago
Projection semantics for rigid loops
A rigid loop is a for-loop with a counter not accessible to the loop body or any other part of a program. Special instructions for rigid loops are introduced on top of the syntax ...
Jan A. Bergstra, Alban Ponse