111

Monday, 2 June 2014

Combinatory Reduction Systems Extended download

Combinatory Reduction Systems Extended

Combinatory Reduction Systems Extended 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 Features
  • Term Rewriting
  • Generate compilers from formal specifications
  • Higher Order Rewriting
  • Lambda Calculus

    • Download:Click Here
    Posted by at

    No comments:

    Post a Comment

    Subscribe to: Post Comments (Atom)