Francisco Frechina

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 5

Top Topics

Classical Logic

Computational Properties

Conjunctive Queries

Top Venues

J. Log. Algebraic Methods Program.

Specification, Algebra, and Software

Publications

María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Debugging Maude programs via runtime assertion checking and trace slicing. J. Log. Algebraic Methods Program. 85 (5) (2016)
María Alpuente, Francisco Frechina, Julia Sapiña, Demis Ballis
Assertion-based analysis via slicing with ABETS. Theory Pract. Log. Program. 16 (5-6) (2016)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Assertion-based Analysis via Slicing with ABETS (System Description). CoRR (2016)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Exploring conditional rewriting logic computations. J. Symb. Comput. 69 (2015)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis. Logic, Rewriting, and Concurrency (2015)
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
Using conditional trace slicing for improving Maude programs. Sci. Comput. Program. 80 (2014)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way). Specification, Algebra, and Software (2014)
María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero
Rewriting-based repairing strategies for XML repositories. J. Log. Algebraic Methods Program. 82 (8) (2013)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. ESOP (2013)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Parametric Exploration of Rewriting Logic Computations. SCSS (2013)
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
Backward Trace Slicing for Conditional Rewrite Theories. LPAR (2012)
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
Julienne: A Trace Slicer for Conditional Rewrite Theories. FM (2012)
María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero
Debugging of Web Applications with Web-TLR WWV (2011)