1987 Reports

An Inconsistency Management System

Morgenstern, Harris M.

This technical report consists of a M.S. thesis from the CONMAN project. It describes an implementation of 'smarter recompilation' for C. Smarter recompilation is an extension of Tichy's Smart Recompilation algorithm that permits multiple versions of the same symbol within a system provided that the symbol does appear in any link-time interface, that is, the system can be automatically partitioned into a subset that uses the old version and a subset the uses the new version.