Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6

DOI10.4230/LIPICS.RTA.2011.31zbMath1236.68180OpenAlexW2124513279MaRDI QIDQ5389069

Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott

Publication date: 24 April 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_4f6d.html

zbMATH Keywords

unificationnarrowingrewriting logicvariants

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Two Decades of Maude ⋮ Twenty years of rewriting logic ⋮ Functional Logic Programming in Maude ⋮ Programming and symbolic computation in Maude ⋮ Built-in Variant Generation and Unification, and Their Applications in Maude 2.7

Uses Software

• Maude
• ChC 3
• CRC 3

This page was built for publication: Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6