Gustavo Villavicencio

Learn More
— In this paper a new maintenance scenario is outlined based on refactoring techniques. Specifically, refactor-ing techniques are classified according to two opposed program properties: understanding and efficiency. Understanding oriented refactoring disassembles the program preparing it for maintenance, whereas those oriented to efficiency rearrange it for(More)
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(More)
The construction of the plan libraries as repository for automatic understanding systems is almost a mystery. So far, there have been no reports that describe some technique on how to accomplish programs analysis about the construction of plan libraries of programming. This paper presents a technique based on the automatic comparison of slices. It permits(More)
abstract Software maintenance exhibits many differences regarding how other engineering disciplines carry out maintenance on their artifacts. Such dissimilarity is caused due to the fact that it is easy to get a copy from the original artifact to be used in maintenance, and also because the flat dimension of the software text facilitates access to the(More)
  • 1