Built-in variant generation and unification, and their applications in Maude 2.7

Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, Jose Meseguer, Carolyn Talcott

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationAutomated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings
PublisherSpringer Verlag
Pages183-192
Number of pages10
Volume9706
ISBN (Print)9783319402284
DOIs
StatePublished - Jan 1 2016
Event8th International Joint Conference on Automated Reasoning, IJCAR 2016 - Coimbra, Portugal
Duration: Jun 27 2016Jul 2 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9706
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other8th International Joint Conference on Automated Reasoning, IJCAR 2016
CountryPortugal
CityCoimbra
Period6/27/167/2/16

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

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 Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings (Vol. 9706, pp. 183-192). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9706). Springer Verlag. https://doi.org/10.1007/978-3-319-40229-1_13