Jaco van de Pol  Home/Search
Context
Related
| cwi.nl/~vdpol/papers/jitty.ps.Z 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: homepages.cwi.nl/~vdpol/papers... (more) Homepages: J.Pol |
Rate this article:      (best)Comment on this article |
Abstract: We demonstrate JITty, a simple rewrite implementation along the lines of the Just-In-Time rewrite strategy, explained and justified at WRS 2001 (see [4]). The core rewrite engine normalizes terms w.r.t. a given term rewrite system (TRS) according to a given strategy annotation. We shortly review strategy annotations in Section 2. Our tool has the following distinguishing features: -- It provides the exibility of user defined strategy annotations. -- Strategy annotations are checked for... (Update)
Active bibliography (related documents): More All
0.1: Modular Termination of Context-Sensitive Rewriting - Gramlich, Lucas (2002) (Correct)
0.1: Computational Properties of Term Rewriting with Strategy Annotations - Lucas (Correct)
0.1: On Proving Termination of OBJ Programs with Positive Local.. - Lucas (Correct)
Similar documents based on text: More All
0.4: Just-in-time: on Strategy Annotations - Pol (Correct)
0.4: State Space Reduction by Proving Confluence (Extended Abstract) - Blum, Pol (Correct)
0.3: Expressiveness of Basic Splice - Pol (Correct)
BibTeX entry: (Update)
@misc{ pol-jitty,
author = "Jaco van de Pol",
title = "{JITty}: a rewriter with strategy annotations",
url = "citeseer.ist.psu.edu/610507.html" }
Citations (may not include all citations):76 Introducing OBJ - Goguen, Winkler et al. - 2000
12 Ecient Annotated Terms - van den Brand, de Jong et al. - 2000
7 CRL: A toolset for analysing algebraic speci cations (context) - Blom, Fokkink et al.
7 Just-in-time: On strategy annotations - Pol
Documents on the same site (http://homepages.cwi.nl/~vdpol/papers/): More
Formal specification of JavaSpaces™ architectures using.. - Pol, Espada (Correct)
Two Solutions to Incorporate Zero, Successor and Equality in.. - Badban, Pol (Correct)
μCRL specification of event notification in JavaSpaces™? - Pol, Espada (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