Combinatory Reduction Systems Extended Icon

Combinatory Reduction Systems Extended

beta

Add a Review
1 Download (This Week)
Last Update:
Download crsx401.zip
Browse All Files

Description

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.

Combinatory Reduction Systems Extended Web Site

Features

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

Update Notifications





Write a Review

User Reviews

Be the first to post a review of Combinatory Reduction Systems Extended!

Additional Project Details

Intended Audience

Advanced End Users, Science/Research

User Interface

Command-line, Eclipse

Programming Language

C, Java

Registered

2007-03-08
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.