EasyChair Smart Slide
Control-Flow Refinement via Partial Evaluation
Control-Flow Refinement via Partial Evaluation