Safe Browsing in a Strongly Typed Persistent Environment

Abstract

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.