Package: wnpp
Severity: wishlist
Owner: Kristoffer Rose <krisr...@debian.org>

* Package name    : crsx-java
  Version         : 3.1.0.1
  Upstream Author : Kristoffer Rose <krisr...@crsx.org>
* 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.


-- 
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
https://lists.debian.org/20140828034654.7850.94605.report...@krisx1.krisrose.net

Reply via email to