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
Categories
CompilersLicense
Common Public License 1.0, Eclipse Public LicenseFollow Combinatory Reduction Systems Extended
Other Useful Business Software
AI-powered service management for IT and enterprise teams
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.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Combinatory Reduction Systems Extended!