CPS für Ablaufsteuerung

Beispiel label/jump:

(@+ 1 
    (label 
       exit 
       (@* 2 (@- 3 (@+ 4 (jump exit 5))))))

semantischer Bereich:

data Value = ... | VCtrlPoint Expcont
d. h. Continuations sind Werte
Expcont =   Value -> State Store Value
Comp    = Expcont -> State Store Value

Modul: DCPL.Semantics.FLICK.Cont



2010-10-12