cl-banner

A Haskell Library for Term Rewriting

Bertram Felgenhauer, Martin Avanzini, and Christian Sternagel

Proceedings of the 1st International Workshop on Haskell and Rewriting Techniques (HART 2013), 2013.

Abstract

We present a Haskell library for first-order term rewriting covering basic operations on positions, terms, contexts, substitutions and rewrite rules. This effort is motivated by the increasing number of term rewriting tools that are written in Haskell.

 

  PDF |    arXiv

BibTeX 

@inproceedings{BFMACS-HART13,
author = "Bertram Felgenhauer and Martin Avanzini and Christian Sternagel",
title = "A Haskell Library for Term Rewriting",
booktitle = "Proceedings of the 1st International Workshop on Haskell and Rewriting Techniques",
year = 2013
}
Nach oben scrollen