Browse by author
Lookup NU author(s): Professor Eike Best
The normal purpose of a program execution is to produce from an initial state a final state, such that some intended relation holds between the two states. We discuss the exceptional situation in which the program is started in an initial state from which a final state violating the desired relation may be reached. This paper deals with the design of appropriate run-time checks, to be inserted in a aprogram, for the detection of all possible exception occurences. We show how such tests can be derived when forward and backward predicate transormer semantic definitions are available for the programming language. We also show an application to a realistic progamming example.
Author(s): Best E, Cristian F
Publication type: Report
Publication status: Published
Series Title: Computing Laboratory Technical Report Series
Year: 1981
Pages: 50
Print publication date: 01/04/1981
Source Publication Date: April 1981
Report Number: 165
Institution: Computing Laboratory, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/165.pdf
