7 citations · 18 across the 11 of their papers we have counts for
5 papers · 1 filter
Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar +1
The Homeomorphic Embedding relation has been amply used for defining termination criteria of symbolic methods for program analysis, transformation, and verification. However, homeo…
Symbolic Abstract Contract Synthesis in a Rewriting Framework
María Alpuente, Daniel Pardo, Alicia Villanueva
We propose an automated technique for inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based struct…
Partial Evaluation of Order-sorted Equational Programs modulo Axioms
Maria Alpuente, Angel Cuenca, Santiago Escobar +1
Partial evaluation (PE) is a powerful and general program optimization technique with many successful applications. However, it has never been investigated in the context of expres…
Automatic Inference of Specifications in the K Framework
María Alpuente, Daniel Pardo, Alicia Villanueva
Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write for…
Removing Redundant Arguments Automatically
Maria Alpuente, Santiago Escobar, Salvador Lucas
The application of automatic transformation processes during the formal development and optimization of programs can introduce encumbrances in the generated code that programmers u…