Higher-order Rewriting for Executable Compiler Specifications
Abstract
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, specifically using the crsx.sf.net system for a small declarative language called "X" inspired by XQuery (for which we are building a production quality compiler in the same way).
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2011
- DOI:
- 10.48550/arXiv.1102.3732
- arXiv:
- arXiv:1102.3732
- Bibcode:
- 2011arXiv1102.3732R
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Programming Languages
- E-Print:
- In Proceedings HOR 2010, arXiv:1102.3465