A high level language-based computing environment to support production and execution of reliable programs

The authors present an environment which involves a debugging tool to aid in the detection and removal at logic errors. The debugging tool is supported by a special architecture, named SPRING, which was originally developed for reliable execution of Ada or Pascal programs. Following an overview of the system backed up by SPRING, the details of SPRING architecture are described, and the implementation of high level debugging on the SPRING architecture is discussed. In conclusion, the trial could be seen as a step toward providing an advanced programming environment for the development of reliable software.