Advanced
Compilers & Programming Language Theory
Q93 / 100
What is the Landin correspondence?
Correct! Well done.
Incorrect.
The correct answer is B) Landin's J-operator and the SECD machine show that control operators (call/cc, setjmp) correspond to first-class continuations and can be expressed in enriched lambda calculi
B
Correct Answer
Landin's J-operator and the SECD machine show that control operators (call/cc, setjmp) correspond to first-class continuations and can be expressed in enriched lambda calculi
Explanation
Landin (1964): SECD machine gave operational semantics to Algol-like languages. His J-operator (predecessor to call/cc) enabled first-class jumps. Foundation for understanding how control operators fit into denotational semantics.
Progress
93/100