Static&dynamic reduction

Moderator: Konzepte der Programmiersprachen

jkapitzke
Erstie
Erstie
Beiträge: 12
Registriert: 21. Sep 2016 23:54

Static&dynamic reduction

Beitrag 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 :)

Zurück zu „Konzepte der Programmiersprachen“