Inspecting Maude variants with

This paper introduces , a graphical tool for exploring variant narrowing computations in Maude. The most recent version of Maude, version 2.7.1, provides quite sophisticated unification features, including order-sorted equational unification for convergent theories modulo axioms such as associativit...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming 2017-09, Vol.17 (5-6), p.689
Hauptverfasser:	ALPUENTE, M, ESCOBAR, S, SAPIÑA, J, CUENCA-ORTEGA, A
Format:	Artikel
Sprache:	eng
Schlagworte:	Axioms Commutativity Debugging
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!