Refactoring for Comprehension

by Gustavo Villavicencio , Facultad De Matemática Aplicada

Datum	Value	Source
TITLE	Refactoring for Comprehension	SVM HeaderParse 0.2
AUTHOR NAME	Gustavo Villavicencio	SVM HeaderParse 0.2
AUTHOR AFFIL	Universidad Católica de Santiago del Estero	SVM HeaderParse 0.2
AUTHOR ADDR	Campus de la UCSE, 4200 Santiago del Estero, Argentina	SVM HeaderParse 0.2
AUTHOR NAME	Facultad De Matemática Aplicada	SVM HeaderParse 0.2
AUTHOR AFFIL	Universidad Católica de Santiago del Estero	SVM HeaderParse 0.2
AUTHOR ADDR	Campus de la UCSE, 4200 Santiago del Estero, Argentina	SVM HeaderParse 0.2
ABSTRACT	Functional programming is well suited for equational reasoning on programs. In this paper, we are trying to use this capability for program comprehension purposes. Specifically, in a program understanding process, higher-order operators can work like abstract schemes in which we can fit formal specifications calculated from the source code. Such specifications are calculated by a transformational process which we call reverse program calculation that operates on both notations: pointwise and pointfree. Once a specification matches an abstract schema, a new refactoring phase leading to a clearer source code takes place. At the same time, an unambiguous behavioural understanding is reached because we give a mathematical description of the abstract schemes. To provide a more complete and realistic perspective of the approach, we use recursive operators that can handle side effects.	SVM HeaderParse 0.2
CITATIONS	18 found	ParsCit 1.0