Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools

ENTCS

2002

2002

The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting systems, and lambda calculi. In the Rewriting Calculus (or Rho Calculus, Cal), algebraic rules are considered as sophisticated forms of "lambda terms with patterns", and rule applications as lambda applications with pattern matching facilities. The calculus can be customized to work modulo sophisticated theories, like commutativity, associativity, associativity-commutativity, etc. This allows us to encode complex structures such as list, sets, and more generally objects. The calculus can either be presented "`a la Curry" or "`a la Church" without sacrificing readability and without complicating too much the metatheory. Many static type systems can be easily plugged-in on top of the calculus in the spirit of the rich typeoriented literature. The Rewriting Calculus could represent a li...

Related Content

Added |
18 Dec 2010 |

Updated |
18 Dec 2010 |

Type |
Journal |

Year |
2002 |

Where |
ENTCS |

Authors |
Horatiu Cirstea, Claude Kirchner, Luigi Liquori |

Comments (0)