The following pages link to Demis Ballis (Q739627):
Displayed 25 items.
- (Q485828) (redirect page) (← links)
- Exploring conditional rewriting logic computations (Q485831) (← links)
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Inferring safe Maude programs with ÁTAME (Q1662189) (← links)
- Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system (Q2209262) (← links)
- \({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance (Q2296704) (← links)
- Rewriting-based repairing strategies for XML repositories (Q2436514) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- Safety enforcement via programmable strategies in Maude (Q2693298) (← links)
- (Q2844058) (← links)
- (Q2844059) (← links)
- Backward Trace Slicing for Conditional Rewrite Theories (Q2891440) (← links)
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis (Q2945700) (← links)
- An Access Control Language Based on Term Rewriting and Description Logic (Q3003515) (← links)
- Transformation and Debugging of Functional Logic Programs (Q3578400) (← links)
- (Q4417882) (← links)
- Assertion-based analysis via slicing with<tt>ABETS</tt>(system description) (Q4593040) (← links)
- Symbolic Analysis of Maude Theories with Narval (Q5108507) (← links)
- Backward Trace Slicing for Rewriting Logic Theories (Q5200013) (← links)
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) (Q5403072) (← links)
- A Rule-based Method to Match Software Patterns Against UML Models (Q5415655) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)
- Variant-based equational anti-unification (Q6160760) (← links)
- Optimizing Maude programs via program specialization (Q6175104) (← links)