Bug#759570: ITP: crsx-java -- Higher Order Rewriting Engine with Extensions for Compiler Generation
Owner: Kristoffer Rose <firstname.lastname@example.org>
* Package name : crsx-java
Version : 18.104.22.168
Upstream Author : Kristoffer Rose <email@example.com>
* URL : http://crsx.org/
* License : EPL-1.0
Programming Lang: Java, C
Description : Higher Order Rewriting Engine with Extensions for Compiler Generation
The purpose of CRSX is to implement an extended higher-order rewriting formalism to facilitate writing compilers
and other syntax-directed transformation systems, specifically:
* Special notations for using embedded syntax, even higher order abstract syntax.
* Special support for symbol tables, environments, and attributes, as used in compilers.
* A polymorphic sort system (which in practice means that CRSX systems are contraction schemes).
* CRSX systems can be compiled directly to native code (so far in C or Java (experimental)) for effective execution.
The system is used in IBM for production use and is the basis for the HACS compiler generator
used for teaching compilers at NYU by the author.