1 paper · 1 filter
Kristoffer H. Rose
In this paper we outline how a simple compiler can be completely specified using higher order rewriting in all stages: parsing, analysis/optimization, and code emission, specifical…