2 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
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…