Alpuente Frasnedo, María; Escobar Román, Santiago; Ballis, Demis; Sapiña-Sanchis, Julia(Cambridge University Press, 2022-05)
[EN] 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 optimization of a conditional rewrite theory ...