Computer Science – Logic in Computer Science
Scientific paper
2011-02-18
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).
No associations
LandOfFree
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.
Profile ID: LFWR-SCP-O-211409