抄録
Term Rewriting System (TRS) is one of the simplest computation models for functional programming languages. It can also be used to model term manipulation required in program verification and transformation. 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 interpreters developed so far are text, based ones, and hence they do not provide sufficient supports for analyzing structure of terms. We have proposed a new idea for a term visualization based on Graphical User Interfaces (GUI) [11] [12]. This paper shows how to realize the idea with the functional programming language Standard ML (SML). We illustrate the implementation can be easily modified and extended since the rewriting part and GUI part of the program are clearly separated owing to the module system of SML.
