7 citations · 18 across the 11 of their papers we have counts for
12 papers
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…
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…
Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar +1
The Homeomorphic Embedding relation has been amply used for defining termination criteria of symbolic methods for program analysis, transformation, and verification. However, homeo…
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…
Symbolic Abstract Contract Synthesis in a Rewriting Framework
María Alpuente, Daniel Pardo, Alicia Villanueva
We propose an automated technique for inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based struct…
Partial Evaluation of Order-sorted Equational Programs modulo Axioms
Maria Alpuente, Angel Cuenca, Santiago Escobar +1
Partial evaluation (PE) is a powerful and general program optimization technique with many successful applications. However, it has never been investigated in the context of expres…