Static analysis-based program evolution support in the common Lisp framework

The common Lisp framework (CLF) is an object-oriented environment to support the development and maintenance of programs written in the language common Lisp. A static analysis tool, which is part of CLF, supports program evolution in CLF. Since the effectiveness of the approach stems from the basic design and architecture of CLF, the author provides an overview of the relevant features of CLF. The static analysis tool asserts the static properties of program objects definitions in the CLF object base. CLF´s general mechanism to add rules to the object base provides a conceptual basis respond to changes in the static properties of program objects in several interesting ways, from programming routine responses to program changes to viewing program alterations idiomatically