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.
CITATION STYLE
Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J., & Talcott, C. (2016). Built-in variant generation and unification, and their applications in Maude 2.7. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9706, pp. 183–192). Springer Verlag. https://doi.org/10.1007/978-3-319-40229-1_13
Mendeley helps you to discover research relevant for your work.