Francisco Frechina

From MaRDI portal
Revision as of 01:47, 12 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Francisco Frechina to Francisco Frechina: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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