7 citations · 11 across the 3 of their papers we have counts for
4 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…
Debugging of Web Applications with Web-TLR
María Alpuente, Demis Ballis, Javier Espert +2
Web-TLR is a Web verification engine that is based on the well-established Rewriting Logic--Maude/LTLR tandem for Web system specification and model-checking. In Web-TLR, Web appli…
Dynamic Backward Slicing of Rewriting Logic Computations
María Alpuente, Demis Ballis, Javier Espert +1
Trace slicing is a widely used technique for execution trace analysis that is effectively used in program debugging, analysis and comprehension. In this paper, we present a backwar…