The Pico Metacircular Evaluator

Pico by Theo D'Hondt, Documentation by Wolfgang De Meuter

In these pages, we explain the metacircular evaluator for Pico. For the definition of metacircularity, we refer to the course "Interpretation Of Computer Programs I" (book: Abelson & Sussman: Structure and Interpretation of Computer Programs). For the informal definition of Pico, we refer to the Pico web site and the courseware.

Please help us to debug this web site. Send bugs and report typos to Wolfgang De Meuter (as Willem Hajenius already did a few years ago. Thanks!)

You can read all about metacircularity

The reason why we study a metacircular evaluator is that

The metacircular definition of Pico consists of several files containing Pico code. This site uses a number of conventions. Please, read them before moving on to the Pico code.

This page was made (with lots of hard work!) by Wolfgang De Meuter