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

Francisco Durán; Steven Eker; Santiago Escobar; Narciso Martí-Oliet; José Meseguer; Carolyn Talcott

doi:10.1007/978-3-319-40229-1_13

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

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

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings
Editors	Nicola Olivetti, Ashish Tiwari
Publisher	Springer
Pages	183-192
Number of pages	10
ISBN (Print)	9783319402284
DOIs	https://doi.org/10.1007/978-3-319-40229-1_13
State	Published - 2016
Event	8th International Joint Conference on Automated Reasoning, IJCAR 2016 - Coimbra, Portugal Duration: Jun 27 2016 → Jul 2 2016

Publication series

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

Other

Other	8th International Joint Conference on Automated Reasoning, IJCAR 2016
Country/Territory	Portugal
City	Coimbra
Period	6/27/16 → 7/2/16

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1007/978-3-319-40229-1_13

Library availability

Discover UIUC Full Text

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

Built-in variant generation and unification, and their applications in Maude 2.7. / Durán, Francisco; Eker, Steven; Escobar, Santiago et al.
Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. ed. / Nicola Olivetti; Ashish Tiwari. Springer, 2016. p. 183-192 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9706).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 N Olivetti & A Tiwari (eds), Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9706, Springer, pp. 183-192, 8th International Joint Conference on Automated Reasoning, IJCAR 2016, Coimbra, Portugal, 6/27/16. https://doi.org/10.1007/978-3-319-40229-1_13

Durán F, Eker S, Escobar S, Martí-Oliet N, Meseguer J, Talcott C. Built-in variant generation and unification, and their applications in Maude 2.7. In Olivetti N, Tiwari A, editors, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Springer. 2016. p. 183-192. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-40229-1_13

Durán, Francisco ; Eker, Steven ; Escobar, Santiago et al. / Built-in variant generation and unification, and their applications in Maude 2.7. Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. editor / Nicola Olivetti ; Ashish Tiwari. Springer, 2016. pp. 183-192 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c7a33f47dd864e418f1bba9c46d7057e,

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

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.",

author = "Francisco Dur{\'a}n and Steven Eker and Santiago Escobar and Narciso Mart{\'i}-Oliet and Jos{\'e} Meseguer and Carolyn Talcott",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 8th International Joint Conference on Automated Reasoning, IJCAR 2016 ; Conference date: 27-06-2016 Through 02-07-2016",

year = "2016",

doi = "10.1007/978-3-319-40229-1_13",

language = "English (US)",

isbn = "9783319402284",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "183--192",

editor = "Nicola Olivetti and Ashish Tiwari",

booktitle = "Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings",

address = "Germany",

}

TY - GEN

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

AU - Durán, Francisco

AU - Eker, Steven

AU - Escobar, Santiago

AU - Martí-Oliet, Narciso

AU - Meseguer, José

AU - Talcott, Carolyn

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84976622013&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84976622013&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-40229-1_13

DO - 10.1007/978-3-319-40229-1_13

M3 - Conference contribution

AN - SCOPUS:84976622013

SN - 9783319402284

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 183

EP - 192

BT - Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings

A2 - Olivetti, Nicola

A2 - Tiwari, Ashish

PB - Springer

T2 - 8th International Joint Conference on Automated Reasoning, IJCAR 2016

Y2 - 27 June 2016 through 2 July 2016

ER -

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

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this