Tutorial Notes on Partial Evaluation
Abstract
The last years have witnessed a flurry of new results in the area of partial evaluation. These tutorial notes survey the field and present a critical assessment of the state of the art.
Related papers
- Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer TOPLAS 1981
- Parlog: Parallel Programming in Logic TOPLAS 1986
- Typestate-based semantic code search over partial programs OOPSLA 2012
- Extracting code from programming tutorial videos Onward! 2016
- A tutorial on computational classical logic and the sequent calculus JFP 2018
- Tutorial on Separation Logic (Invited Tutorial) CAV 2008
- Theorem Proving for Verification (Invited Tutorial) CAV 2008
- Learning Algorithms and Formal Verification (Invited Tutorial) VMCAI 2007