Keyword : term rewriting system


Static Dependency Pair Method in Functional Programs
Keiichirou KUSAKARI 
Publication:   
Publication Date: 2018/06/01
Vol. E101-D  No. 6 ; pp. 1491-1502
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approaches)
Category: Formal Approaches
Keyword: 
functional programterm rewriting systemterminationrecursive definitionstatic dependency pair method
 Summary | Full Text:PDF

The Unification Problem for Confluent Semi-Constructor TRSs
Ichiro MITSUHASHI Michio OYAMAGUCHI Kunihiro MATSUURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/11/01
Vol. E93-D  No. 11 ; pp. 2962-2978
Type of Manuscript:  PAPER
Category: Fundamentals of Information Systems
Keyword: 
term rewriting systemdecision problemunificationsemi-constructor
 Summary | Full Text:PDF

Constraint-Based Multi-Completion Procedures for Term Rewriting Systems
Haruhiko SATO Masahito KURIHARA Sarah WINKLER Aart MIDDELDORP 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/02/01
Vol. E92-D  No. 2 ; pp. 220-234
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science)
Category: 
Keyword: 
equational theorem provingterm rewriting systemKnuth-Bendix completionmulti-completionconstraint-based multi-completion
 Summary | Full Text:PDF

On the Open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems
Michio OYAMAGUCHI Yoshikatsu OHTA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/02/01
Vol. E87-D  No. 2 ; pp. 290-298
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science)
Category: 
Keyword: 
church-rosserterm rewriting systemleft-linear
 Summary | Full Text:PDF

Layered Transducing Term Rewriting System and Its Recognizability Preserving Property
Toshinori TAKAI Hiroyuki SEKI Youhei FUJINAKA Yuichi KAJI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/02/01
Vol. E86-D  No. 2 ; pp. 285-295
Type of Manuscript:  Special Section PAPER (Special Issue on Selected Papers from LA Symposium)
Category: Term Rewriting Systems
Keyword: 
term rewriting systemtree automatonrecognizabilityrecognizability preserving propertylayered transducing TRS
 Summary | Full Text:PDF

On the Church-Rosser Property of Left-Linear Term Rewriting Systems
Michio OYAMAGUCHI Yoshikatsu OHTA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/01/01
Vol. E86-D  No. 1 ; pp. 131-135
Type of Manuscript:  LETTER
Category: Theory/Models of Computation
Keyword: 
Church-Rosserterm rewriting systemleft-linear
 Summary | Full Text:PDF

Termination Property of Inverse Finite Path Overlapping Term Rewriting System is Decidable
Toshinori TAKAI Yuichi KAJI Hiroyuki SEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2002/03/01
Vol. E85-D  No. 3 ; pp. 487-496
Type of Manuscript:  PAPER
Category: Theory/Models of Computation
Keyword: 
term rewriting systemterminationtree automaton
 Summary | Full Text:PDF

High-Level Synthesis of Pipelined Circuits from Modular Queue-Based Specifications
Maria-Cristina MARINESCU Martin RINARD 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/11/01
Vol. E84-A  No. 11 ; pp. 2655-2664
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: High Level Synthesis
Keyword: 
asynchronousmodularpipelineterm rewriting system
 Summary | Full Text:PDF

Conditional Linearization of Non-Duplicating Term Rewriting Systems
Yoshihito TOYAMA Michio OYAMAGUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/04/01
Vol. E84-D  No. 4 ; pp. 439-447
Type of Manuscript:  PAPER
Category: Theory/Models of Computation
Keyword: 
term rewriting systemlinearizationChurch-Rosserunique normal formnon-duplicating
 Summary | Full Text:PDF

A Formal Approach to Detecting Security Flaws in Object-Oriented Databases
Toshiyuki MORITA Yasunori ISHIHARA Hiroyuki SEKI Minoru ITO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/01/25
Vol. E82-D  No. 1 ; pp. 89-98
Type of Manuscript:  Special Section PAPER (Special Issue on New Generation Database Technologies)
Category: Theoretical Aspects
Keyword: 
object-oriented databaseauthorizationsecurity flawterm rewriting system
 Summary | Full Text:PDF

An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems
Munehiro IWAMI Masahiko SAKAI Yoshihito TOYAMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/09/25
Vol. E81-D  No. 9 ; pp. 988-996
Type of Manuscript:  PAPER
Category: Automata,Languages and Theory of Computing
Keyword: 
higher-order rewrite systemterm rewriting systemterminationimproved recursive decomposition orderingpseudo-terminal occurrencetypesimplification ordering
 Summary | Full Text:PDF

Index Reduction of Overlapping Strongly Sequential Systems
Takashi NAGAYA Masahiko SAKAI Yoshihito TOYAMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/05/25
Vol. E81-D  No. 5 ; pp. 419-426
Type of Manuscript:  PAPER
Category: Sofware System
Keyword: 
term rewriting systemnormalizing strategystrong sequentialityindex reduction
 Summary | Full Text:PDF

Left-Incompatible Term Rewriting Systems and Functional Strategy
Masahiko SAKAI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/12/25
Vol. E80-D  No. 12 ; pp. 1176-1182
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
term rewriting systemnormalizing strategylazy evaluation
 Summary | Full Text:PDF

Case Histories on Knowledge-Based Design Systems for LSI and Software
Masanobu WATANABE Toru YAMANOUCHI Masahiko IWAMOTO Satoru FUJITA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/09/25
Vol. E78-D  No. 9 ; pp. 1164-1170
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge Based Software Engineering)
Category: Applications
Keyword: 
knowledge-based design systemsLSI circuit synthesissoftware synthesisintelligent control shellterm rewriting systemframeproduction system
 Summary | Full Text:PDF

Decomposable Termination of Composable Term Rewriting Systems
Masahito KURIHARA Azuma OHUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/04/25
Vol. E78-D  No. 4 ; pp. 314-320
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
term rewriting systemterminationmodularityalgebraic specificationautomated reasoning
 Summary | Full Text:PDF

A Verification Method via Invariant for Communication Protocols Modeled as Extended Communicating Finite-State Machines
Masahiro HIGUCHI Osamu SHIRAKAWA Hiroyuki SEKI Mamoru FUJII Tadao KASAMI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1993/11/25
Vol. E76-B  No. 11 ; pp. 1363-1372
Type of Manuscript:  PAPER
Category: Signaling System and Communication Protocol
Keyword: 
integral registerunbounded communication channelsafety propertyterm rewriting systemOSI session protocol
 Summary | Full Text:PDF