4 citations · 7 across the 2 of their papers we have counts for
3 papers
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…
Abstract Certification of Global Non-Interference in Rewriting Logic
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Non-interference is a semantic program property that assigns confidentiality levels to data objects and prevents illicit information flows from occurring from high to low security…
Removing Redundant Arguments Automatically
Maria Alpuente, Santiago Escobar, Salvador Lucas
The application of automatic transformation processes during the formal development and optimization of programs can introduce encumbrances in the generated code that programmers u…