# Jensen's device

> English word · Proper noun

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

## Etymology
Devised by Danish computer scientist Jørn Jensen.

## Source
Compiled from Wiktionary via kaikki.org (CC BY-SA). Data vintage: 2026-05-06.
Canonical page: https://plainspell.com/en/word/jensen-s-device