Parametric Exploration of Rewriting Logic Computations

15 pages•Published: June 19, 2013

María Alpuente, Demis Ballis, Francisco Frechina and Julia Sapiña

Abstract

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 different ways. Starting from a selected state in the computation tree, the exploration is driven by a user-defined, inspection criterion that specifies the exploration mode. By selecting different 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.

Keyphrases: debugging, maude, program animation, rewriting logic, slicing, stepping

In: Laura Kovacs and Temur Kutsia (editors). SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science, vol 15, pages 4-18.

Links:	https://easychair.org/publications/paper/bF8j
	https://doi.org/10.29007/zm5g

BibTeX entry

@inproceedings{SCSS2013:Parametric_Exploration_Rewriting_Logic,
  author    = {María Alpuente and Demis Ballis and Francisco Frechina and Julia Sapiña},
  title     = {Parametric Exploration of Rewriting Logic Computations},
  booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
  editor    = {Laura Kovacs and Temur Kutsia},
  series    = {EPiC Series in Computing},
  volume    = {15},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/bF8j},
  doi       = {10.29007/zm5g},
  pages     = {4-18},
  year      = {2013}}

Download PDF Open PDF in browser