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

Common Public License 1.0, Eclipse Public License

Follow Combinatory Reduction Systems Extended

Combinatory Reduction Systems Extended Web Site

Other Useful Business Software
AI-powered service management for IT and enterprise teams Icon
AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Try it Free
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

Advanced End Users, Science/Research

User Interface

Command-line, Eclipse

Programming Language

C, Java

Related Categories

C Compilers, Java Compilers

Registered

2007-03-08