Safe Browsing in a Strongly Typed Persistent Environment

Open Access
Publisher Website
Google Scholar
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.

This publication has 0 references indexed in Scilit: