7 citations · 25 across the 16 of their papers we have counts for
6 papers · 1 filter
Symbolic Specialization of Rewriting Logic Theories with Presto
María Alpuente, Demis Ballis, Santiago Escobar +1
This paper introduces Presto, a symbolic partial evaluator for Maude's rewriting logic theories that can improve system analysis and verification. In Presto, the automated optimiza…
Variant-based Equational Unification under Constructor Symbols
Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña
Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. A narrowing-based equat…
Most General Variant Unifiers
Santiago Escobar, Julia Sapiña
Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. Equational unification…
Symbolic Analysis of Maude Theories with Narval
María Alpuente, Demis Ballis, Santiago Escobar +1
Concurrent functional languages that are endowed with symbolic reasoning capabilities such as Maude offer a high-level, elegant, and efficient approach to programming and analyzing…
Inspecting Maude Variants with GLINTS
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar +1
This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in Maude. The most recent version of Maude, version 2.7.1, provides quite sophisticated…
Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming
Santiago Escobar
This volume contains a selection of the papers presented at the 10th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'2011), held on 29 May 2011 in…