Jensen's device English

Meaning Jensen's device meaning

What does Jensen's device mean?

Jensen's device properNoun

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