A Robust Environment for Program Development

Abstract

This thesis examines the problems of debugging and preservation of the user programming environment and proposes a scheme by which the program development environment can be protected. Typically, designers of timeshared or multiprogrammed computer systems only consider inter-user interference as a source of problems and do not worry about what users do in their own environments. Thus, users can, by writing incorrect programs, cause destruction of the programming environment and personal data bases.