| 
|
Quote: a continuation is a linear list of instructions; an interpreter of continuations is a state-transition machine, somewhat like Landin's SECD machines
topics >
all references >
references p-r >
Topic:
state machine
Topic:
continuation
Topic:
procedures as data
Quotation Skeleton
From their abstract syntax, it is evident that … In effect, a continuation is a list of … and produces a new value which will be … Thus our third interpreter is actually a state-transition … [FIN, EVOPN, APFUN, BRANCH] plus a list of its arguments. This interpreter is similar … [ref], though there is considerable difference in detailed mechanisms. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: state machine (67 items)
Topic: continuation (16 items)
Topic: procedures as data (22 items)