Revisiting the Futamura Projections: A Diagrammatic Approach
Programming Languages
2018-03-22 v3 Software Engineering
Abstract
The advent of language implementation tools such as PyPy and Truffle/Graal have reinvigorated and broadened interest in topics related to automatic compiler generation and optimization. Given this broader interest, we revisit the Futamura Projections using a novel diagram scheme. Through these diagrams we emphasize the recurring patterns in the Futamura Projections while addressing their complexity and abstract nature. We anticipate that this approach will improve the accessibility of the Futamura Projections and help foster analysis of those new tools through the lens of partial evaluation.
Keywords
Cite
@article{arxiv.1611.09906,
title = {Revisiting the Futamura Projections: A Diagrammatic Approach},
author = {Brandon M. Williams and Saverio Perugini},
journal= {arXiv preprint arXiv:1611.09906},
year = {2018}
}
Comments
20 pages, 11 figures, 3 tables; pre-print of published version in Theoretical and Applied Informatics