Axiomatic Sharing-via-Labelling

Balabonski, Thibaut

doi:10.4230/LIPIcs.RTA.2012.85

Document

Axiomatic Sharing-via-Labelling

Author Thibaut Balabonski

Part of: Volume: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) (RTA 2012)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Rewriting Techniques and Applications (RTA)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2012-05-29

PDF

File

PDF

LIPIcs.RTA.2012.85.pdf

Filesize: 0.55 MB
16 pages

Document Identifiers

DOI: 10.4230/LIPIcs.RTA.2012.85
URN: urn:nbn:de:0030-drops-34868

Subject Classification

Keywords

Sharing
Abstract term rewriting
Graphs
Higher order
Non-orthogonality

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

A judicious use of labelled terms makes it possible to bring together the simplicity of term rewriting and the sharing power of graph rewriting: this has been known for twenty years in the particular case of orthogonal first-order systems. The present paper introduces a concise and easily usable axiomatic presentation of sharing-via-labelling techniques that applies to higher-order term rewriting as well as to non-orthogonal term rewriting. This provides a general framework for the sharing of subterms and keeps the formalism as simple as term rewriting.

Cite As Get BibTex

Thibaut Balabonski. Axiomatic Sharing-via-Labelling. In 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 15, pp. 85-100, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012) https://doi.org/10.4230/LIPIcs.RTA.2012.85

Author Details

Thibaut Balabonski

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail