Nobuo Kawaguchi, Toshiki Sakabe, Yasuyoshi Inagaki  Home/Search
Context
Related
| inria.fr/INRIA/Proj...10kawaguchi.ps.Z inagaki.nuie.nagoyau.ac.j...ML94.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: fermivista.math.ju...ftp.inria.fr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose an environment for term rewriting computation with Graphical User Interface. The aim of the environment is to support analysis of term rewriting computation. The environment allows us to manage multiple terms and rules simultaneously. It also helps us to analyze the structure of a term by providing us with graphical tree representation of the term, through which we can easily edit the term and select the fedex to rewrite. (Update)
Active bibliography (related documents): More All
0.8: TERSE: A Visual Environment for Supporting Analysis.. - Kawaguchi, Sakabe.. (1996) (Correct)
0.3: Sequence Types for Functional Languages - Biagioni (1995) (Correct)
0.1: The MLgraph Primer - Chailloux, Cousineau (1992) (Correct)
Similar documents based on text: More All
0.7: A Multi-threaded Higher-order User Interface Toolkit - Gansner, Reppy (1993) (Correct)
0.6: Concurrent ML: Design, Application and Semantics - Reppy (1993) (Correct)
0.6: A Theory of Weak Bisimulation for Core CML - Ferreira, Hennessy, Jeffrey (1993) (Correct)
BibTeX entry: (Update)
@inproceedings{ kawaguchi94terse,
author = "Kawaguchi, N. and Sakabe, T. and Inagaki, Y.",
title = "{TERSE}: term rewriting support environment",
booktitle = "{ACM} {SIGPLAN} Workshop on Standard {ML} and its Applications",
month = "June",
year = "94",
url = "citeseer.ist.psu.edu/kawaguchi94terse.html" }
Citations (may not include all citations):362 ML for the Working Programmer (context) - Paulson - 1991
247 Confluent Reductions:Abstract Proper- ties and Applications .. (context) - Huet - 1980
129 Termination of Rewriting (context) - Dershowitz - 1989
48 Functional Programming Using Standard ML (context) - Ake - 1987
36 Call by need computation in non-ambiguous linear term rewrit.. (context) - Huet, Levy - 1979
7 PostScript Reference Manual (context) - Systems - 1988
3 CML: A higer-order concurrent lan- guage (context) - Reppy - 1991
2 The eXene Library Manual(Version 0.4 (context) - Reppy, Gansner - 1993
1 Support Environment for Analysis and Transformation of Term .. (context) - Kawaguchi, Sakabe et al. - 1994
1 Simple Word Plobrems in Universal Algebras (context) - Knuth, Bendix - 1970
1 How to prove equivalence of term rewriting systems without i.. (context) - Toyama - 1991
1 Commu- tative Law Based Transformation for Improving Efficie.. (context) - Kawaguchi, Sakabe et al. - 1993
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.inria.fr.html): More
Model-Checking of CTL on Infinite Kripke Structures.. - Quemener, Jéron (1995) (Correct)
An Experiment in Automatic Generation of Test.. - Fernandez, Jard.. (1996) (Correct)
Spill Code Minimization via Interference Region Spilling - Bergner, Dahl.. (1997) (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