1 paper
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…