Download
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
Eclipse Public License, Common Public License 1.0Follow Combinatory Reduction Systems Extended
Other Useful Business Software
Our Free Plans just got better! | Auth0
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Combinatory Reduction Systems Extended!