Intermediate
Compilers & Programming Language Theory
Q54 / 100
What is partial evaluation?
Correct! Well done.
Incorrect.
The correct answer is B) Specializing a program for known inputs by pre-computing expressions involving those inputs, producing a residual program optimized for remaining unknown inputs
B
Correct Answer
Specializing a program for known inputs by pre-computing expressions involving those inputs, producing a residual program optimized for remaining unknown inputs
Explanation
Partial evaluation (Futamura projections): specialize an interpreter for a specific program → compiled code. The Futamura projections show compilers can be derived from interpreters by partial evaluation — deep connection between the two.
Progress
54/100