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
