A Strategy For Semi-automatic Program Development
Allen Goldberg, Richard K. Jullig · 2005
In this paper we first review the knowledge-based approach to software construction. The knowledge-based approach to software develoment promises attractive solutions to the problems plaguing software develoment. But to realize these benefits knowledge about programming must be well understood, formalized and engineered into a functioning system. This paper presents some aspects of such a formalization, describing knowledge about the procedural implementation of recursive functions and about data structure selection. A significant feature of this approach is that a single transformation may substantially affect the program form, implenienting a high-level design decision. A detailed derivation of a depth-first search algorithm to compute the height of a directed acyclic graph is presented.