Jasper Kamperman  Home/Search
Context Related
| cwi.nl/~paulk/dissert...Kamperman.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cwi.nl/~paulk/dissertatio...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Rewrite Machine, the equational language EPIC and the accompanying tools into what they are now. To me, the cooperation with Pum is a model of how rewarding teamwork can be. Many thanks also go to Jan Heering, especially for his advice on Chapters 3 and 6. His meticulous reading and the ensueing comments have been vital for the structure and quality of those chapters. For his comments on Chapter 6, I also want to thank Piet Rodenburg. Geographically far away, but conceptually close, John... (Update)
Context of citations to this paper: More
.... in [26] while the transformation from left linear TRS to ARM code was first described in [27] A more up to date overview was given in [25]. For the sake of compilation, it is imperative to fix a deterministic rewriting strategy. We apply rightmost innermost rewriting, which...
.... This is consistent with the use of patterns in most functional languages; languages based on term rewriting (e.g. ASF) take a more liberal view [16]. 4.2 Syntax of an axioms and rules The syntax of an axiom without a side condition is given by the axiom schema below: schema 1 ]...
Cited by: More
Unknown - Transformations Of Reduction (Correct)
Correctness Criteria for Transformations of Rewrite Systems - With An Application (Correct)
A Slicing-Based Approach for Locating Type Errors - Dinesh, Tip (1998) (Correct)
Similar documents (at the sentence level):
14.1%: GEL, a Graph Exchange Language - Kamperman (1994) (Correct)
5.9%: Lazy Rewriting on Eager Machinery - Kamperman, Walters (1995) (Correct)
Active bibliography (related documents): More All
0.3: Correct Transformation of Rewrite Systems for Implementation.. - Wan Fokkink (1996) (Correct)
0.2: Within ARM's Reach: Compilation of Left-Linear Rewrite.. - Fokkink, Kamperman.. (1997) (Correct)
0.2: Rewrite Systems for Integer Arithmetic - Walters, Zantema (1995) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.7: Image Analysis Methods Based on Hierarchies of Graphs and.. - Nacken (1994) (Correct)
0.7: Computations in Propositional Logic - Hendriks (1996) (Correct)
0.7: Verification Techniques for Elementary Data Types and.. - van Wamel (1995) (Correct)
Related documents from co-citation: More All
7: Term rewriting systems - Klop - 1992
7: the correspondence between two classes of reduction systems (context) - Thatte - 1985
6: Minimal term rewriting systems - Kamperman, Walters - 1996
BibTeX entry: (Update)
J.F.Th. Kamperman. Compilation of Term Rewriting Systems. PhD thesis, University of Amsterdam, 1996. http://citeseer.ist.psu.edu/kamperman96compilation.html More
@phdthesis{ kamperman96compilation,
author = "Jasper Kamperman",
title = "Compilation of Term Rewriting Systems",
address = "Amsterdam",
year = "1996",
url = "citeseer.ist.psu.edu/kamperman96compilation.html" }
Citations (may not include all citations):66 Views: A way for pattern matching to cohabit with data abstr.. - Wadler - 1987
28 Implementing Algebraic Specifications (context) - Walters, Terms - 1991
17 Multi-level specifications - Visser - 1996
15 An Algebraic Specification Approach (context) - van Deursen, Heering et al. - 1996
9 an equational programming language (context) - Walters, Th et al. - 1996
9 A theory of using history for equational systems with applic.. (context) - Verma - 1995
7 Epic: An equational language -- abstract machine and support.. (context) - Walters, Th - 1996
6 ACM Transactions on Software Engineering and Methodology (context) - van den Brand, Visser et al. - 1996
4 A complete term rewriting system for decimal integer arithme.. - Walters - 1994
1 Operational semantics of term rewriting with priorities - Pol - 1996
1 A hybrid interpreter for arm term rewriting (context) - Walters, Th - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cwi.nl/~paulk/dissertations/index.html): More
Generating Uniform User-Interfaces For Interactive Programming .. - Willem, Koorn (1994) (Correct)
On Equal Terms. Implementing Algebraic Specifications - Walters (1991) (Correct)
A Framework for Debugging Heterogeneous Applications - On Bugs.. - Olivier (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC