( en | de | ru )

 

Disambiguation of "Frechina, Francisco"

Author of the publication

copydeleteadd this publication to your clipboard
Assertion-based Analysis via Slicing with ABETS (System Description).

, , , and . CoRR, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Francisco Castellanos

Francisco Cardiel

Francisco Gaona

Francisco Garcés

Francisco Carabelli

 

Other publications of authors with the same name

Exploring conditional rewriting logic computations., , , and . J. Symb. Comput., (2015)Rewriting-based repairing strategies for XML repositories., , , , and . J. Log. Algebraic Methods Program., 82 (8): 326-352 (2013)Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne., , , and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 121-124. Springer, (2013)Parametric Exploration of Rewriting Logic Computations., , , and . SCSS, volume 15 of EPiC Series in Computing, page 4-18. EasyChair, (2013)Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)., , , and . Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 229-255. Springer, (2014)Assertion-based Analysis via Slicing with ABETS (System Description)., , , and . CoRR, (2016)Using conditional trace slicing for improving Maude programs., , , and . Sci. Comput. Program., (2014)Debugging of Web Applications with Web-TLR, , , , and . WWV, volume 61 of EPTCS, page 66-80. (2011)Debugging Maude programs via runtime assertion checking and trace slicing., , , and . J. Log. Algebraic Methods Program., 85 (5): 707-736 (2016)Backward Trace Slicing for Conditional Rewrite Theories., , , and . LPAR, volume 7180 of Lecture Notes in Computer Science, page 62-76. Springer, (2012)