No description, website, or topics provided.
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
bin
ide
lib
samples
src
tests
.classpath
.gitignore
.project
Env.mk
LICENSE.TXT
Makefile
README.md
VERSION
build.xml
crsx.manifest

README.md

crsx

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.

License

This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0, which accompanies this distribution, and is available at http://opensource.org/licenses/EPL-1.0.