A Logic-based Framework for Software Construction

AbstractThis paper describes a framework for assisting the automatic construction of programs from separately designed and compiled modules. The framework has facilities to automatically extract many important items of information from source codes. It has also facilities to deduce new items from old ones. The framework also supports multiple versions, static, and dynamic selections of appropriate components. It supports graphical displays for system's components and their relationships