Confluence Property of Simple Frames in Dynamic Term Rewriting Calculus

スポンサーリンク

概要

• 論文の詳細を見る

• Dynamic Term Rewriting Calculus is a new computation model proposed by the authors for the purpose of formal description and verification of algorithms treating Term Rewriting Systems. The computation of DTRC is basically term rewriting. The characteristic features of DTRC are dynamic change of rewriting rules during computation and hierarchical declaration of not only function symbols and variables but also rewriting rules. These features allow us to program metacomputation of TRSs in DTRC, that is, we can implement in DTRC in a natural way those algorithms which manipulate term rewriting systems as well as those procedures which verify such algorithms. In this paper, we give a formal description of DTRC. We then show some results on confluence property of DTRC.

• 社団法人電子情報通信学会の論文
• 1997-06-25

著者

• SAKABE Toshiki

  Department of Information Engineering, Nagoya University

• Sakabe T

  Nagoya Univ. Nagoya Jpn

• INAGAKI Yasuyoshi

  Faculty of Information Science and Technology, Aichi Prefectural University

• Inagaki Y

  Faculty Of Information Science And Technology Aichi Prefectural University

• Inagaki Yasuyoshi

  Faculty Of Engineering Nagoya University

• FENG Su

  Faculty of Engineering, Nagoya University

• SAKABE Toshiki

  Faculty of Engineering, Nagoya University

• Feng Su

  Faculty Of Engineering Nagoya University

関連論文

• An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
• Robust Dependency Parsing of Spontaneous Japanese Spoken Language(Speech Corpora and Related Topics, Corpus-Based Speech Technologies)
• Example-Based Query Generation for Spontaneous Speech
• Incremental Transfer in English-Japanese Machine Translation
• Designing Efficient Geometric Search Algorithms Using Persistent Binary-Binary Search Trees (Special Section on Discrete Mathematics and Its Applications)
• A Context Model Approach to Anaphora Resolution in Database-Oriented Discouse
• Confluence Property of Simple Frames in Dynamic Term Rewriting Calculus
• Mechanizing Explicit Inductive Equational Reasoning by DTRC
• Azim: Direction-Based Service System for Both Indoors and Outdoors(Application, Ubiquitous Networks)

スポンサーリンク