Group:
exception handling
Topic:
co-routines
Topic:
evaluation in an environment
Topic:
exception handling by recovery block or rescue clause
Topic:
exception handling by try..catch
Topic:
goto statement
Topic:
logic programming
Topic:
procedures as data
Topic:
recursion
Topic:
return from procedure
Topic:
save-restore
| |
Subtopic: denotational semantics 
| Quote: denotational semantics of goto statements as continuations; rudimentary language allows goto during expression evaluation [»straC1_1974]
| | Quote: a continuation is the state transformation from a command to the end of the program; thrown away for gotos; value of a label [»straC1_1974]
|
Subtopic: continuation as program counter
| Quote: an escape expression is like jumping to a label while passing an argument; applies a higher-order continuation [»reynJC8_1972]
| | Quote: a continuation is the program counter for a branch table and a uid to detect dead continuations [»ramsN6_2000]
| | Quote: a continuation is a linear list of instructions; an interpreter of continuations is a state-transition machine, somewhat like Landin's SECD machines [»reynJC8_1972]
|
Subtopic: continuation as capability
| Quote: Capability Language (CL) propagates capabilities for region-based memory operations; provably safe type system; lexical scope not required; e.g., extensible systems and continuation-passing style [»walkD7_2000]
| | Quote: Capability Language (CL), provably safe intermediate language for region-based memory management; supports aliasing and extensible OS; best for continuation-passing languages [»walkD7_2000]
|
Subtopic: continuation for side effects, gotos, non-termination
| Quote: use continuations to handle side effects, abnormal exits, and gotos [»tennRD8_1976, OK]
| | Quote: use continuations to isolate serious operands, expressions, and functions that might not terminate; allows call-by-value or call-by-name [»reynJC8_1972]
|
Subtopic: exception handling with continuations
| Quote: model an exception handler as a C-- continuation; like a label with parameters; a non-local exit via 'cut to' [»ramsN6_2000]
| | Quote: exception handling by stack cutting w/o restore, table-driven stack unwinding, stack unwinding via code, and continuation-passing via code [»ramsN6_2000]
|
Subtopic: iteration
| Quote: a C-- procedure may tail-call another procedure; deallocates the activation record and other resources [»ramsN6_2000]
| | Quote: C's continue statement initiates the next iteration of the immediately enclosing loop [»ritcDM7_1978c]
|
Subtopic: co-routine
| Quote: a 'resume' expression suspends the current environment and passes a value and the resumer's identity to another environment [»hansDR5_1978]
| | Quote: in SL5, 'return r to e' suspends environment, resumes environment e with value r; prior resumer of e unchanged [»hansDR5_1978]
|
Subtopic: activation stack
| Quote: the environment for a procedure contains its variables and continuation point [»hansDR5_1978]
|
Related Topics
Group: exception handling (12 topics, 314 quotes)
Topic: co-routines (13 items)
Topic: evaluation in an environment (35 items)
Topic: exception handling by recovery block or rescue clause (22 items)
Topic: exception handling by try..catch (53 items)
Topic: goto statement (25 items)
Topic: logic programming (34 items)
Topic: procedures as data (22 items)
Topic: recursion (16 items)
Topic: return from procedure (9 items)
Topic: save-restore
(4 items)
|
