This paper presents a parameterized technique for the inspection of Rewriting Logic computations that allows the non-deterministic execution of a given rewrite theory to be followed up in dierent ways. Starting from a selected state in the computation tree, the exploration is driven by a user-dened, inspection criterion that species the exploration mode. By selecting dierent inspection criteria, one can automatically derive useful debugging facilities such as program steppers and more sophisticated dynamic trace slicers that facilitate the detection of control and data dependencies across the computation tree. Our methodology, which is implemented in the Anima graphical tool, allows users to capture the impact of a given criterion, validate input data, and detect improper program behaviors.
['María Alpuente', 'Demis Ballis', 'Francisco Frechina', 'Julia Sapiña']
Parametric Exploration of Rewriting Logic Computations