Jensen's device

English

Etymology

Devised by Danish computer scientist Jørn Jensen.

Proper noun

Jensen's device

  1. (programming) A particular programming technique that exploits call-by-name to change the value of an index variable during execution of a loop.