PCES PI Meeting
Feb 2001
34
Partial Evaluation
•Requires different type system based on
temporal
logic
•OA — A
at the next stage of computation
•Captures
traditional binding-time analysis precisely and logically
•[Davies
‘96]