Built-in Variant Generation and Unification, and Their Applications in Maude 2.7

Simple item page
dc.centroE.T.S.I. Informáticaes_ES
dc.contributor.authorDurán, Francisco
dc.contributor.authorEker, Steven
dc.contributor.authorEscobar, Santiago
dc.contributor.authorMartí-Oliet, Narciso
dc.contributor.authorMeseguer, José
dc.contributor.authorTalcott, Carolyn
dc.date.accessioned2017-07-27T08:53:21Z
dc.date.available2017-07-27T08:53:21Z
dc.date.issued2017
dc.departamentoLenguajes y Ciencias de la Computación
dc.description.abstractThis 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.es_ES
dc.description.sponsorshipUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.es_ES
dc.identifier.orcidhttp://orcid.org/0000-0001-5864-8094es_ES
dc.identifier.urihttp://hdl.handle.net/10630/14391
dc.language.isoenges_ES
dc.relation.eventdate19-21 Julio 2017es_ES
dc.relation.eventplaceSan Cristobal de la Laguna, Tenerifees_ES
dc.relation.eventtitleJornadas de PROgramación y LEnguajes (PROLE)es_ES
dc.rightsby-nc-nd
dc.rights.accessRightsopen accesses_ES
dc.subjectAlgoritmos computacionaleses_ES
dc.subject.otherMaudees_ES
dc.subject.otherRewriting logices_ES
dc.subject.otherUnificationes_ES
dc.subject.otherNarrowinges_ES
dc.subject.otherVariantes_ES
dc.titleBuilt-in Variant Generation and Unification, and Their Applications in Maude 2.7es_ES
dc.typeconference outputes_ES
dspace.entity.typePublication

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
2017PROLE002.pdf
Size:
45.11 KB
Format:
Adobe Portable Document Format
Download

Collections

Ponencias, Comunicaciones a congresos y Pósteres