D. Ballis

Available identifiers

zbMath Open ballis.demisMaRDI QIDQ739627

List of research outcomes

Publication	Date of Publication	Type
Symbolic Specialization of Rewriting Logic Theories with Presto	2023-12-12	Paper
Optimizing Maude programs via program specialization	2023-08-17	Paper
Variant-based equational anti-unification	2023-06-02	Paper
Safety enforcement via programmable strategies in Maude	2023-03-20	Paper
Optimization of rewrite theories by equational partial evaluation	2021-11-24	Paper
Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system	2020-10-30	Paper
Symbolic analysis of Maude theories with Narval	2020-05-04	Paper
\({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance	2020-02-18	Paper
Inferring safe Maude programs with ÁTAME	2018-08-17	Paper
Assertion-based analysis via slicing withABETS(system description)	2017-11-09	Paper
Debugging Maude programs via runtime assertion checking and trace slicing	2016-08-18	Paper
Combining runtime checking and slicing to improve Maude error diagnosis	2015-09-14	Paper
Exploring conditional rewriting logic computations	2015-01-14	Paper
A rule-based method to match software patterns against UML models	2014-05-13	Paper
Inspecting rewriting logic computations (in a parametric and stepwise way)	2014-03-25	Paper
Rewriting-based repairing strategies for XML repositories	2014-02-25	Paper
Cost-sensitive diagnosis of declarative programs	2013-08-27	Paper
Abstract correction of first-order functional programs	2013-08-27	Paper
Backward trace slicing for conditional rewrite theories	2012-06-15	Paper
Backward trace slicing for rewriting logic theories	2011-07-29	Paper
An access control language based on term rewriting and description logic	2011-05-27	Paper
An integrated framework for the diagnosis and correction of rule-based programs	2010-11-11	Paper
Transformation and debugging of functional logic programs	2010-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4417882	2003-07-30	Paper

Research outcomes over time

This page was built for person: D. Ballis