Higher-order Rewriting for Executable Compiler Specifications

Details Higher-order Rewriting for Executable Compiler Specifications Higher-order Rewriting for Executable Compiler Specifications

2011-02-18

arxiv.org/abs/1102.3732v1

EPTCS 49, 2011, pp. 31-45

Computer Science

Logic in Computer Science

In Proceedings HOR 2010, arXiv:1102.3465

Scientific paper

10.4204/EPTCS.49.3

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).

Affiliated with

Also associated with

No associations

Rating

Higher-order Rewriting for Executable Compiler Specifications does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Higher-order Rewriting for Executable Compiler Specifications, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Higher-order Rewriting for Executable Compiler Specifications will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-211409