(programming) An evaluation strategy in which the arguments to a function are evaluated the first time they are used in that function.