Skip to content

Combinatory Reduction Systems Extended

This is the web app or web related tool named Combinatory Reduction Systems Extended whose latest release can be downloaded as crsx401.zip from this website redcoolmedia.net

Download APP

APP DESCRIPTION:

Download this app named 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

Free download Web app or web tool Combinatory Reduction Systems Extended from RedcoolMedia.net

Ad

Powered By T3 Framework

Combinatory Reduction Systems Extended