Implementing Visual Programming Environment for Rewriting Computation

点击翻译按钮获取中文摘要

In this research, we developed a visualization technique of rewriting computation and an analysis method for parallel computation. By using them, we implement a unified visual support environment for programming of rewriting computation. Additionally, we studied about program verification, visualization and user interfaces for further development. The following results were obtained ;1. Meta-Language for manipulating rewriting computationWe propose Dinamic Term Rewriting Calculus (DTRC) to enable formal description of program transformation and program verification. We also proposed Term Set Rewriting Systems (TSRS) to extend completion algorithm.2. Visualization method for rewriting computationProgramming environment TERSE provides various kinds of visualization to support analysis, verification and transformation of Term Rewriting Systems. Currently five sorts of visual viewers are implemented in TERSE.3. Visual Interface for parallel rewriting computation and its implementationWE develop a visual environment for communicating processes with a visual graph of labeled transitions systems (LTS). The debugger accepts a pair of LTS's where the one is a specification and the other is an implementation. The system cases the development of correct communicating processes efficiently.