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

Project Activity

See All Activity >

Categories

Compilers

License

Eclipse Public License, Common Public License 1.0

Follow Combinatory Reduction Systems Extended

Combinatory Reduction Systems Extended Web Site

You Might Also Like
Propelling Payments for Software Platforms Icon
Propelling Payments for Software Platforms

For SaaS businesses to monetize payments through its turnkey PayFac-as-a-Service solution.

Exact Payments delivers easy-to-integrate embedded payment solutions enabling you to rapidly onboard merchants, instantly activate a variety of payment methods and accelerate your revenue — delivering an end-to-end payment processing platform for SaaS businesses.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

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

Additional Project Details

Intended Audience

Science/Research, Advanced End Users

User Interface

Command-line, Eclipse

Programming Language

C, Java

Related Categories

C Compilers, Java Compilers

Registered

2007-03-08
Report inappropriate content