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

Fecha

2017-07-19

Editor

Sistedes

Publicado en

Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017)

Licencia

CC BY 4.0

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.

Descripción

Acerca de Durán, Francisco

Palabras clave

Associativity Commutativity And Identity, Maude, Narrowing, Order-sorted, Unification

Colecciones

Página completa del ítem
Notificar un error en este resumen
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX