research
∙
12/19/2021
Symbolic Specialization of Rewriting Logic Theories with Presto
This paper introduces Presto, a symbolic partial evaluator for Maude's r...
share
research
∙
07/25/2019
Symbolic Analysis of Maude Theories with Narval
Concurrent functional languages that are endowed with symbolic reasoning...
research
∙
08/15/2018
Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms
The Homeomorphic Embedding relation has been amply used for defining ter...
research
∙
07/18/2017