Tree-Manipulating Systems and Church-Rosser Theorems
Journal of the ACM (JACM)
On the automatic simplification of computer programs
Communications of the ACM
Proceedings of a symposium on Compiler optimization
Programming languages and their compilers: Preliminary notes
Programming languages and their compilers: Preliminary notes
History and basic features of the critical-pair/completion procedure
Journal of Symbolic Computation
Rule-based query optimization in IRIS
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
IEEE Transactions on Computers
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Determining View dependencies using tableaux
ACM Transactions on Database Systems (TODS)
Errata: `` Testing for the Church-Rosser Property''
Journal of the ACM (JACM)
A Completeness Theorem for Straight-Line Programs with Structured Variables
Journal of the ACM (JACM)
Conditional Expressions with Equality Tests
Journal of the ACM (JACM)
Constructing Call-by-Value Continuation Semantics
Journal of the ACM (JACM)
Off-line and on-line algorithms for deducing equalities
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Applications of a graph grammar for program control flow analysis
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The recognition of Series Parallel digraphs
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
A Church-Rosser theorem for graph grammars
ACM SIGACT News
A resource class independent deadlock detection algorithm
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Optimization of single expressions in a relational data base system
IBM Journal of Research and Development
Synthesis of test scenarios using UML activity diagrams
Software and Systems Modeling (SoSyM)
Hi-index | 0.01 |
The central notion in a replacement system is one of a transformation on a set of objects. Starting with a given object, in one “move” it is possible to reach one of a set of objects. An object from which no move is possible is called irreducible. A replacement system is Church-Rosser if starting with any object a unique irreducible object is reached. A generalization of the above notion is a replacement system (S, ⇒, ≡), where S is a set of objects, ⇒ is a transformation, and ≡ is an equivalence relation on S. A replacement system is Church-Rosser if starting with objects equivalent under ≡, equivalent irreducible objects are reached. Necessary and sufficient conditions are determined that simplify the task of testing if a replacement system is Church-Rosser. Attention will be paid to showing that a replacement system (S, ⇒, ≡) is Church-Rosser using information about parts of the system, i.e. considering cases where ⇒ is ⇒1 ∪ ⇒2, or ≡ is (≡1 ∪ ≡2)*.