basicsOfPartialEvaluation

This is the description of a contribution to the SLE course.

Table of Contents Headline Contributors Summary Tagging Resources License Events

Headline

A tutorial on the basics of partial evaluation

Contributors

William Cook and Ralf Lämmel

Summary

Partial evaluation (or program specialization) has a long-standing history in programming-language research and education with profound textbooks and designated lectures on the subject. The present tutorial addresses the challenge of introducing to the subject in a relatively basic manner. If the audience is somewhat aware of functional programming and interpretation, then the material can be taught in lecture or two. Practical exercise may leverage the accompanying Haskell code.

Tagging

• Categories: reading, concepts, theory, programming
• Objectives: master the basic idea of partial evaluation
• Prerequisites: basic functional programming skills, basics of interpreters
• Level: introductory

Resources

• The underlying tutorial paper: http://softlang.uni-koblenz.de/dsl11/
• A related blog post: http://professor-fish.blogspot.nl/2011/05/more-serious-online-partial-evaluator.html
• Accompanying Haskell source code: http://slps.svn.sourceforge.net/viewvc/slps/topics/partialevaluation/simplepe/

License

Creative Commons Attribution (where applicable)

Events

• 9 Oct 2012: added contribution
• 6 Sep 2011: presented tutorial at DSL 2011