Abstract
For reasons of efficiency, term rewriting is usually implemented by graph rewriting. Barendregt et al. showed that graph rewriting is a sound and complete implementation of (almost) orthogonal term rewriting systems. Their result was strengthened by Kennaway et al. who showed that graph rewriting is adequate for simulating term rewriting. In this paper, we extend the aforementioned results to a class of conditional term rewriting systems which plays a key role in the integration of functional and logic programming. In these systems extra variables are allowed in conditions and right-hand sides of rules. Moreover, it is shown that orthogonal conditional rules give rise to a subcommutative conditional graph rewrite relation. This implies that the graph rewrite relation is level-confluent.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
