A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A syntactic correspondence between context-sensitive calculi and abstract machines |
scientific article; zbMATH DE number 5151774
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A syntactic correspondence between context-sensitive calculi and abstract machines |
scientific article; zbMATH DE number 5151774 |
Statements
A syntactic correspondence between context-sensitive calculi and abstract machines (English)
0 references
11 May 2007
0 references
refocusing
0 references
reduction semantics
0 references
contexts
0 references
continuations
0 references
delimited continuations
0 references
defunctionalization
0 references
explicit substitutions
0 references
environment-based machines
0 references
proper tail recursion
0 references
stack inspection
0 references
0 references
0 references