Compilation of Term Rewriting Systems (1996)
by
Jasper Fredrikus Theodorus Kamperman
| Citations: | 26 - 0 self |
BibTeX
@MISC{Kamperman96compilationof,
author = {Jasper Fredrikus Theodorus Kamperman},
title = {Compilation of Term Rewriting Systems},
year = {1996}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 119 | Views: A way for pattern matching to cohabit with data abstraction - Wadler - 1987 |
| 72 | Language Prototyping: An Algebraic Specification Approach - Deursen, Heering, et al. - 1996 |
| 23 | On Equal Terms, Implementing Algebraic Specifications - Walters - 1991 |
| 11 | Rewrite systems for integer arithmetic - Walters, Zantema - 1995 |
| 10 | den Brand and Eelco Visser. Generation of formatters for contextfree languages - van - 1996 |
| 10 | A theory of using history for equational systems with applications - Verma - 1995 |
| 8 | Epic 1.0 (unconditional), an equational programming language - Kamperman - 1996 |
| 7 | EPIC: an equational language { abstract machine and supporting tools - Kamperman |
| 6 | Multi-level specifications - Visser - 1996 |
| 3 | A complete term rewriting system for decimal integer arithmetic - Walters - 1994 |
| 2 | Operational semantics of term rewriting with priorities - Pol - 1996 |
| 1 | A hybrid interpreter for arm term rewriting. Compare deliverable CWI-0002-arm - Kamperman - 1994 |
