Word.ws English Dictionary

Jensen's device

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.

Proper noun

Jensen's device

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

Origin of Jensen's device

Devised by Danish computer scientist Jørn Jensen.

Questions about Jensen's device

What does Jensen's device mean?
Jensen's device means a particular programming technique that exploits call-by-name to change the value of an index variable during execution of a loop.
What part of speech is Jensen's device?
Jensen's device is a proper noun.

Words near Jensen's device in the dictionary

  1. Jenrick
  2. Jensen
  3. Jensen Beach
  4. Jensen's alpha
  5. Jensen's alphas
  6. Jensen's device
  7. Jensen's formula
  8. Jensen's inequality
  9. Jensenism
  10. jensenite
  11. Jenson

Source and license

Adapted from Wiktionary: Jensen's device (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Jensen's device.” Word.ws, https://word.ws/jensen%27s_device. Based on Wiktionary, CC BY-SA 4.0.