Tools on Rewriting

1 tool found.

• CRSX

  last modified: Feb 20, 2014 17:26:28

  

  The CRSX project aims at implementing a generic higher-order rewrite engine based on the Combinatory Reduction Systems (CRS) formalism.

  CRSX--Combinatory Reduction Systems with Extensions. ... CRSX implements higher-order rewriting based on Combinatory Reduction Systems (CRS) with some extensions. ... Copyright (c) 2006, 2013 IBM Co...

  categories rewrite_engine CRS