Maria Alpuente
Universidad Politécnica de València
H-index: 30
Europe-Spain
Top articles of Maria Alpuente
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Symbolic Analysis of Maude Theories with Narval∗(system description) | MARÍA ALPUENTE SANTIAGO ESCOBAR JULIA SAPI NA DEMIS BALLIS | 2024/5/1 | |
Optimizing Maude Programs via Program Specialization | María Alpuente Demis Ballis Santiago Escobar Jose Meseguer Julia Sapiña | 2023/5/17 | |
Automated Synthesis of Software Contracts with KindSpec | María Alpuente Alicia Villanueva | 2023/5/17 | |
Safety enforcement via programmable strategies in Maude | Journal of Logical and Algebraic Methods in Programming | María Alpuente Demis Ballis Santiago Escobar D Galán Julia Sapiña | 2023/4/1 |
Order-sorted equational generalization algorithm revisited | Annals of Mathematics and Artificial Intelligence | María Alpuente Santiago Escobar José Meseguer Julia Sapina | 2022/5/1 |
A partial evaluation methodology for optimizing rewrite theories incrementally | MethodsX | María Alpuente Demis Ballis Santiago Escobar Daniel Galán Pascual Julia Sapiña | 2022/1/1 |
Optimization of rewrite theories by equational partial evaluation | Journal of Logical and Algebraic Methods in Programming | María Alpuente Demis Ballis Santiago Escobar Julia Sapiña | 2022/1/1 |
Variant-Based Equational Anti-unification | María Alpuente Demis Ballis Santiago Escobar Julia Sapiña | 2022/9/11 | |
Symbolic Specialization of Rewriting Logic Theories with Presto | Theory and Practice of Logic Programming | Maria Alpuente Santiago Escobar Julia Sapina Demis Ballis | 2022/5 |
Narrowing-based optimization of rewrite theories | Proceedings of the 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2020) | María Alpuente D Ballis S Escobar J Sapiña | 2020 |
Order-sorted homeomorphic embedding modulo combinations of associativity and/or commutativity axioms | Fundamenta Informaticae | María Alpuente Angel Cuenca-Ortega Santiago Escobar José Meseguer | 2020/1/1 |
Abstract Contract Synthesis and Verification in the Symbolic ???? Framework | Fundamenta Informaticae | Maria Alpuente Daniel Pardo Alicia Villanueva | 2020/1/1 |
Efficient safety enforcement for Maude programs via program specialization in the ÁTAME system | Mathematics in Computer Science | María Alpuente Demis Ballis Julia Sapiña | 2020/9 |
A partial evaluation framework for order-sorted equational programs modulo axioms | Journal of Logical and Algebraic Methods in Programming | María Alpuente Angel Cuenca-Ortega Santiago Escobar José Meseguer | 2020/1/1 |