The search functionality is under construction.
The search functionality is under construction.

Keyword Search Result

[Keyword] confluence(1hit)

1-1hit
  • Confluence Property of Simple Frames in Dynamic Term Rewriting Calculus

    Su FENG  Toshiki SAKABE  Yasuyoshi INAGAKI  

     
    PAPER-Automata,Languages and Theory of Computing

      Vol:
    E80-D No:6
      Page(s):
    625-645

    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.