We present iJulienne, a trace analyzer for conditional rewriting
logic theories that can be used to compute abstract views of Maude
executions that help users understand and debug programs. Given a
Maude execution trace ...
In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification A of the program behavior that ...
[Otros] In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification
of the program behavior ...
Alpuente Frasnedo, María; Escobar Román, Santiago; Sapiña-Sanchis, Julia; Ballis, Demis(Cambridge University Press, 2019-09)
[EN] 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 complex, highly nondeterministic ...
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 ...
[EN] Understanding the behavior of software is important for the existing software to be improved. In this paper, we present a trace slicing technique that is suitable for analyzing complex, textually-large computations ...