Motivation

Funktionsaufrufe in CPS-Programm kehren nie zurück, können also als Sprünge implementiert werden!

CPS als einheitlicher Mechanismus für

• Linearisierung (sequentielle Anordnung von primitiven Operationen)
• Ablaufsteuerung (Schleifen, nicht lokale Sprünge)
• Unterprogramme (Übergabe von Argumenten und Resultat)
• Unterprogramme mit mehreren Resultaten