Unranked Anti-Unification with Hedge and Context Variables

9 pages•Published: July 29, 2013

Abstract

In this work we study anti-unification for unranked terms and hedges, permitting context and hedge variables.
Hedges are sequences of unranked terms.
The anti-unification problem of two hedges s and q is concerned with finding their generalization, a hedge g such that both s and q are instances of g under some substitutions.
Context variables are used to abstract vertical differences in the input hedges,
and hedge variables are used to abstract horizontal differences.
A rule based system in Huet's style will be presented, which computes a set of
generalizations of input hedges and records all the differences.
The computed generalizations are least general among a certain class of generalizations.

Keyphrases: anti unification with skeletons, generalization with hedge and context variables, least general rigid generalization, parametrized rigid higher order generalization, unranked higher order anti unification

In: Konstantin Korovin and Barbara Morawska (editors). UNIF 2013. 27th International Workshop on Unification, vol 19, pages 13-21.

Links:	https://easychair.org/publications/paper/Lq
	https://doi.org/10.29007/hg9q

BibTeX entry

@inproceedings{UNIF2013:Unranked_Anti_Unification_with,
  author    = {Alexander Baumgartner and Temur Kutsia},
  title     = {Unranked Anti-Unification with Hedge and Context Variables},
  booktitle = {UNIF 2013. 27th International Workshop on Unification},
  editor    = {Konstantin Korovin and Barbara Morawska},
  series    = {EPiC Series in Computing},
  volume    = {19},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Lq},
  doi       = {10.29007/hg9q},
  pages     = {13-21},
  year      = {2013}}

Download PDF Open PDF in browser