Theoretical Computer Science
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Theoretical Computer Science
On “on graph rewritings”: Theoretical Computer Science 52 (1987) 37-58 (corrigendum)
Theoretical Computer Science
A correctness proof for combinator reduction with cycles
ACM Transactions on Programming Languages and Systems (TOPLAS)
An algorithm for optimal lambda calculus reduction
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Process algebra
Proceedings of the 4th international conference on Rewriting techniques and applications
RTA-91 Proceedings of the 4th international conference on Rewriting techniques and applications
Transfinite reductions in orthogonal term rewriting systems (extended abstract)
RTA-91 Proceedings of the 4th international conference on Rewriting techniques and applications
Redex capturing in term graph rewriting (concise version)
RTA-91 Proceedings of the 4th international conference on Rewriting techniques and applications
Handbook of theoretical computer science (vol. B)
Recursive applicative program schemes
Handbook of theoretical computer science (vol. B)
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
An algebraic approach to the compilation and operational semantics of functional languages with I-structures
The geometry of optimal lambda reduction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Relations and graphs: discrete mathematics for computer scientists
Relations and graphs: discrete mathematics for computer scientists
Algebraic approach to single-pushout graph transformation
Theoretical Computer Science - Special issue on selected papers of the International Workshop on Computing by Graph Transformation, Bordeaux, France, March 21–23, 1991
Handbook of logic in computer science (vol. 2)
Term graph rewriting: theory and practice
Term graph rewriting: theory and practice
Graph rewriting systems for efficient compilation
Term graph rewriting
The adequacy of term graph rewriting for simulating term rewriting
Term graph rewriting
Combinatory reduction systems: introduction and survey
Theoretical Computer Science - A collection of contributions in honour of Corrado Bo¨hm on the occasion of his 70th birthday
From λσ to λν: a journey through calculi of explicit substitutions
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communication and Concurrency
Algebraic Semantics
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness
Functional Programming and Parallel Graph Rewriting
Functional Programming and Parallel Graph Rewriting
Proceedings of the 2nd Colloquium on Automata, Languages and Programming
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Confluence and Superdevelopments
RTA '93 Proceedings of the 5th International Conference on Rewriting Techniques and Applications
Relating Graph and Term Rewriting via Böhm Models
RTA '93 Proceedings of the 5th International Conference on Rewriting Techniques and Applications
Graph Rewriting in Some Categories of Partial Morphisms
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Dactl: An Experimental Graph Rewriting Language
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Jungle Evaluation for Efficient Term Rewriting
Proceedings of the International Workshop on Algebraic and Logic Programming
CTRS '92 Proceedings of the Third International Workshop on Conditional Term Rewriting Systems
Equational term graph rewriting
Equational term graph rewriting
Forward and backward simulations -- Part I: untimed systems.
Forward and backward simulations -- Part I: untimed systems.
Proof-techniques for recursive programs.
Proof-techniques for recursive programs.
Completeness results for the equivalence of recursive schemas
Journal of Computer and System Sciences
Applications of infinitary lambda calculus
Information and Computation
A Comprehensive Setting for Matching and Unification over Iterative Terms
Fundamenta Informaticae
Three syntactic theories for combinatory graph reduction
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
We present an equational framework for term graph rewriting with cycles. The usual notion of homomorphism is phrased in terms of the notion of bisimulation, which is well-known in process algebra and concurrency theory. Specifically, a homomorphism is a functional bisimulation. We prove that the bisimilarity class of a term graph, partially ordered by functional bisimulation, is a complete lattice. It is shown how Equational Logic induces a notion of copying and substitution on term graphs, or systems of recursion equations, and also suggests the introduction of hidden or nameless nodes in a term graph. Hidden nodes can be used only once. The general framework of term graphs with copying is compared with the more restricted copying facilities embodied in the μ-rule. Next, orthogonal term graph rewrite systems, also in the presence of copying and hidden nodes, are shown to be confluent.