Jensen's device

proper noun

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

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

proper noun
  1. computingA particular programming technique that exploits call-by-name to change the value of an index variable during execution of a loop.

Origin

Devised by Danish computer scientist Jørn Jensen.

Full word history & related roots →
Cite this entry
APA

Jensen's device. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/Jensen's%20device

MLA

“Jensen's device.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Jensen's%20device. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “Jensen's device,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/Jensen's%20device.

Source: Jensen's device on Wiktionary, CC BY-SA 4.0.