Sequence unification through currying (2007)
Cached
Download Links
| Venue: | IN: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS, RTA’07, LNCS |
| Citations: | 4 - 3 self |
BibTeX
@INPROCEEDINGS{Kutsia07sequenceunification,
author = {Temur Kutsia and Jordi Levy and Mateu Villaret},
title = { Sequence unification through currying},
booktitle = {IN: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS, RTA’07, LNCS},
year = {2007},
pages = {288--302},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Sequence variables play an interesting role in unification and matching when dealing with terms in an unranked signature. Sequence Unification generalizes Word Unification and seems to be appealing for information extraction in XML documents, program transformation, and rule-based programming. In this work we study a relation between Sequence Unification and another generalization of Word Unification: Context Unification. We introduce a variant of Context Unification, called Left-Hole Context Unification that
