© 1988 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
Safe Browsing in a Strongly Typed Persistent Environment
Department of Computational Science, University of St Andrews, North Haugh, St Andrews, KY16 9SS, UK
The need to examine data structures often occurs in programming language and database management systems. In this paper we describe how a browser for a strongly type programming language (PS-algol) may be written in a type-secure manner in a closed persistent environment. This is achieved without resorting to magic or having to break the type rules of the language by exploiting a compiler that is an object with full civil rights in the environment. The use and impact of such an object is discussed.
Received January 1987. revised May 1987.
* Department of Computational Science, University of St Andrews, North Haugh, St Andrews, KY16 9SS