POPL 2024 (series) / PEPM 2024 (series) / PEPM 2024 /
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)
Forty years ago development started on Mix, a partial evaluator designed specifically for the purpose of self-application.
The effort, led by Neil D. Jones at the University of Copenhagen, eventually demonstrated that
non-trivial compilers could be generated automatically by applying a partial evaluator to itself.
The possibility, in theory, of such self-application had been known for more than a decade,
but remained unrealized by the start of 1984.
We describe the genesis of Mix, including the research environment, the challenges, and the main insights that led to success.
We emphasize the critical role played by program annotation as a pre-processing step,
later automated in the form of binding-time analysis.
Tue 16 JanDisplayed time zone: London change
Tue 16 Jan
Displayed time zone: London change
16:00 - 18:30 | History of PEPMPEPM at Haslett Room Chair(s): Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital | ||
16:00 30mTalk | In memoriam Neil Deaton Jones PEPM Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital DOI | ||
16:30 30mTalk | The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution) PEPM DOI | ||
17:00 30mTalk | A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) PEPM Alberto Pettorossi University of Rome Tor Vergata; IASI-CNR, Maurizio Proietti IASI-CNR, Fabio Fioravanti University of Chieti-Pescara, Emanuele De Angelis IASI-CNR DOI | ||
17:30 30mTalk | Incremental Computation: What Is the Essence? (Invited Contribution)Remote PEPM Y. Annie Liu Stony Brook University DOI | ||
18:00 30mMeeting | Informal discussion on history and future of PEPM PEPM |