An Inconsistency Management System

Harris M. Morgenstern
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...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.