Francisco Frechina

From MaRDI portal
Person:739628

Available identifiers

zbMath Open frechina.franciscoMaRDI QIDQ739628

List of research outcomes





PublicationDate of PublicationType
Assertion-based analysis via slicing withABETS(system description)2017-11-09Paper
Debugging Maude programs via runtime assertion checking and trace slicing2016-08-18Paper
Combining runtime checking and slicing to improve Maude error diagnosis2015-09-14Paper
Exploring conditional rewriting logic computations2015-01-14Paper
Inspecting rewriting logic computations (in a parametric and stepwise way)2014-03-25Paper
Rewriting-based repairing strategies for XML repositories2014-02-25Paper
Backward trace slicing for conditional rewrite theories2012-06-15Paper

Research outcomes over time

This page was built for person: Francisco Frechina

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:739628&oldid=10823338"
Powered by MediaWiki