7 citations · 25 across the 16 of their papers we have counts for
4 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…
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Horatiu Cirstea, Santiago Escobar
This volume contains the formal proceedings of the Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), held on 23rd June 20…
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…
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…