Seite 1 von 1

Static&dynamic reduction

Verfasst: 2. Nov 2019 21:21
von jkapitzke
Hi,
in slide 1.27 eager substitution is "static and dynamic reduction" and lazy substitution is only "static reduction". What do the reduction terms mean? I suppose static means something with compile time, and dynamic something during run time?

Thank you :)