combinatory reduction systems extended online with Winfy

We have hosted the application combinatory reduction systems extended in order to run this application in our online workstations with Wine or directly.

Quick description about combinatory reduction systems extended:

Implementation of Combinatory Reduction Systems (CRS) with experimental extensions, in Java. CRS is a formalism for higher-order rewriting invented by J.W.Klop in 1980. For further details see the Project/Web Site.

Features:

• Term Rewriting
• Generate compilers from formal specifications
• Higher Order Rewriting
• Lambda Calculus

Audience: Advanced End Users, Science/Research.
User interface: Command-line, Eclipse.
Programming Language: C, Java.

.