Nobuo Kawaguchi, Toshiki Sakabe, Yasuyoshi Inagaki  Home/Search
Context
Related
| inagaki.nuie.nagoyau....LNCS1101.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: inagaki.nuie.nagoyau.ac....index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction Term rewriting systems(TRS)[1] can be widely applicable in many areas of computer science such as equational logics, theorem proving, algebraic specification, program verification, transformation and synthesis, etc. In such applications, an environment for term rewriting with user friendly graphical interface is strongly required for analyzing structure of terms and rewriting processes. Most TRS implementations developed so far[3, 4] are text-based ones, and hence they do not... (Update)
Active bibliography (related documents): More All
0.8: TERSE: TErm Rewritin Support Environment - Kawaguchi, Sakabe, Inagaki (1994) (Correct)
0.3: Sequence Types for Functional Languages - Biagioni (1995) (Correct)
0.2: Compilation by Transformation in the Glasgow Haskell Compiler - Jones, Santos (1994) (Correct)
Similar documents based on text: More All
0.4: Magnet: Ad-Hoc Network System based on Mobile Agents - Kawaguchi, Toyama, Inagaki (1999) (Correct)
0.4: An Architecture for Multi-Domain Spoken Dialog Systems - Kawaguchi, Matsubara.. (1999) (Correct)
0.4: Touch-and-Connect: A Connection Request Framework for Ad-hoc .. - And The Pervasive (2003) (Correct)
BibTeX entry: (Update)
@inproceedings{ kawaguchi96terse,
author = "Nobuo Kawaguchi and Toshiki Sakabe and Yasuyoshi Inagaki",
title = "{TERSE}: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems",
booktitle = "Algebraic Methodology and Software Technology",
pages = "571-574",
year = "1996",
url = "citeseer.ist.psu.edu/kawaguchi96terse.html" }
Citations (may not include all citations):247 Confluent Reductions:Abstract Properties and Applications to.. (context) - Huet - 1980
129 Termination of Rewriting (context) - Dershowitz - 1989
46 Lecture Notes in Computer Science (context) - Bundgen - 1993
6 TERSE: TErm Rewriting Support Environment (context) - Kawaguchi, Sakabe et al. - 1994
5 MERILL: An Equational Reasoning System in Standard ML (context) - Matthews - 1993
3 CML: A higer-order concurrent language (context) - Reppy - 1991
2 The eXene Library Manual(Version 0.4 (context) - Reppy, Gansner - 1993
1 Visual Support Methods for Analysis, Verification and Transf.. (context) - Kawaguchi, Sakabe et al. - 1996
Documents on the same site (http://www.inagaki.nuie.nagoya-u.ac.jp/~kawaguti/research/index.html): More
An Open Archtecture for Multi-Domain Multi-Modal.. - Kawaguchi, Matsubara, .. (1999) (Correct)
An Architecture for Multi-Domain Spoken Dialog Systems - Kawaguchi, Matsubara.. (1999) (Correct)
TERSE: TErm Rewritin Support Environment - Kawaguchi, Sakabe, Inagaki (1994) (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