Jensen's device

Today it means: A particular programming technique that exploits call-by-name to change the value of an index variable during execution of a loop. Full definition →