Dynamic Backward Slicing of Rewriting Logic Computations

María Alpuente Demis Ballis Javier Espert Daniel Romero

Published in: CoRR (2011)

Keyphrases

dynamic environments
data structure
temporal logic
modal logic
defeasible logic
dynamically changing