Resumen:
This paper introduces some novel features of Maude 2.7. We have added support for: (i) built-in order-sorted unification modulo associativity, commutativity, and identity, (ii) built-in variant generation, (iii) built-in order-sorted unification modulo a finite variant theory, and (iv) symbolic reachability modulo a finite variant theory.
Descargas:
Este artículo tiene una licencia de uso CreativeCommons Reconocimiento (by)
Descarga el artículo haciendo click aquí.
Ver la referencia en formato Bibtex
@inproceedings{prole:2017:010,
title={{Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (Tutorial)}},
author={Francisco Dur{\'a}n and Steven Eker and Santiago Escobar and Narciso Mart{\'i}-Oliet and Jos{\'e} Meseguer and Carolyn Talcott},
url={http://hdl.handle.net/11705/PROLE/2017/010},
booktitle={PROLE2017},
year={2017},
publisher={SISTEDES},
crossref={prole2017lalaguna}
}
@proceedings{prole2017lalaguna,
title={{Actas de las XVII Jornadas de Programaci{\'o}n y Lenguajes (PROLE 2017)}},
editor={Dur{\'a}n, F.},
booktitle={PROLE2017},
year={2017},
publisher={SISTEDES}
}
Copiar al portapapeles |
Cerrar