The following pages link to Julia Sapiña (Q739629):
Displaying 18 items.
- (Q485830) (redirect page) (← links)
- Exploring conditional rewriting logic computations (Q485831) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Inferring safe Maude programs with ÁTAME (Q1662189) (← links)
- Order-sorted equational generalization algorithm revisited (Q2134938) (← links)
- Protocol analysis with time (Q2152027) (← links)
- Protocol analysis with time and space (Q2154006) (← links)
- Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system (Q2209262) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- Safety enforcement via programmable strategies in Maude (Q2693298) (← links)
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis (Q2945700) (← links)
- Assertion-based analysis via slicing with<tt>ABETS</tt>(system description) (Q4593040) (← links)
- (Q5020553) (← links)
- (Q5020960) (← links)
- Symbolic Analysis of Maude Theories with Narval (Q5108507) (← links)
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) (Q5403072) (← links)
- An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis (Q6052948) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)
