( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Assertion-based Analysis via Slicing with ABETS (System Description).

, , , и . 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.

Francisco Gaona

Francisco Castellanos

Francisco Cardiel

Francisco Garcés

Francisco Carabelli

 

Другие публикации лиц с тем же именем

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