publicações selecionadas
-
artigo académico
- Shortcut fusion rules for the derivation of circular and higher-order programs. Higher-Order and Symbolic Computation. 2011
-
artigo de conferência
- Smelling faults in spreadsheets. Proceedings-IEEE International Conference on Software Maintenance. 2014
-
documento
- Ranking programming languages by energy efficiency 2020
- Preface. International Journal on Software Tools for Technology Transfer. 2017
- Design, implementation and calculation of circular programs 2009
-
livro