论文信息 - Safe Browsing in a Strongly Typed Persistent Environment

Safe Browsing in a Strongly Typed Persistent Environment

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 typed 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 a object with full civil rights in the environment. The use of impact of such an object is discussed. Safe Browsing in a Strongly Typed Persistent Environment Page 3

Alan Dearle | Alfred L. Brown | A. L. Brown | A. Dearle

[1] Ronald Morrison,et al. An Integrated Graphics Programming Environment , 1986, Comput. Graph. Forum.

[2] David Robson,et al. Smalltalk-80: The Language and Its Implementation , 1983 .

[3] Ronald Morrison,et al. An Approach to Persistent Programming , 1989, Comput. J..

[4] Ronald Morrison,et al. Procedures as persistent data objects , 1985, TOPL.