2 papers
cs.LO2021
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…
cs.LO2016
Assertion-based Analysis via Slicing with ABETS (System Description)
M. Alpuente, D. Ballis, F. Frechina +1
We present ABETS, an assertion-based, dynamic analyzer that helps diagnose errors in Maude programs. ABETS uses slicing to automatically create reduced versions of both a run's exe…