Jensen's device
English
[edit]
Etymology
[edit]Devised by Danish computer scientist Jørn Jensen.
Proper noun
[edit]- (programming) A particular programming technique that exploits call-by-name to change the value of an index variable during execution of a loop.