Julia Sapiña

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Symbolic Specialization of Rewriting Logic Theories with `Presto` Theory and Practice of Logic Programming	2023-12-12	Paper
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis Journal of Logical and Algebraic Methods in Programming	2023-09-25	Paper
Optimizing Maude programs via program specialization Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023-08-17	Paper
Variant-based equational anti-unification Logic-Based Program Synthesis and Transformation	2023-06-02	Paper
Safety enforcement via programmable strategies in Maude Journal of Logical and Algebraic Methods in Programming	2023-03-20	Paper
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA 1511.94044	2022-12-22	Paper
Protocol analysis with time and space	2022-07-13	Paper
Protocol analysis with time	2022-07-06	Paper
Order-sorted equational generalization algorithm revisited Annals of Mathematics and Artificial Intelligence	2022-05-04	Paper
scientific article; zbMATH DE number 7455704 (Why is no real title available?)	2022-01-11	Paper
scientific article; zbMATH DE number 7453112 (Why is no real title available?)	2022-01-06	Paper
Optimization of rewrite theories by equational partial evaluation Journal of Logical and Algebraic Methods in Programming	2021-11-24	Paper
Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system Mathematics in Computer Science	2020-10-30	Paper
Symbolic analysis of Maude theories with Narval Theory and Practice of Logic Programming	2020-05-04	Paper
Inferring safe Maude programs with ÁTAME	2018-08-17	Paper
Assertion-based analysis via slicing with`ABETS`(system description) Theory and Practice of Logic Programming	2017-11-09	Paper
Debugging Maude programs via runtime assertion checking and trace slicing Journal of Logical and Algebraic Methods in Programming	2016-08-18	Paper
Combining runtime checking and slicing to improve Maude error diagnosis Lecture Notes in Computer Science	2015-09-14	Paper
Exploring conditional rewriting logic computations Journal of Symbolic Computation	2015-01-14	Paper
Inspecting rewriting logic computations (in a parametric and stepwise way) Specification, Algebra, and Software	2014-03-25	Paper

Research outcomes over time

This page was built for person: Julia Sapiña