论文信息 - Bindings persistent programming languages

Bindings persistent programming languages

In designing and building persistent object systems we are attempting to regularise the activities on data that are traditional in programming languages, operating systems, database management systems and file systems. We hypothesise that regularity and simplicity may be achieved by regarding the exercise as one of designing a language powerful enough to allow for all our programming needs and using some principles in the design of the language to achieve this regularity and simplicity.In this paper we investigate the nature of binding mechanisms showing how some form of dynamic binding is necessary for persistence. The binding mechanisms of Ada, which has a traditional file based view of persistence, and of Napier, which has an object based view, are used as illustrations.

[1] Ronald Morrison,et al. Types, Bindings and Parameters in a Persistent Environment , 1988, Data Types and Persistence , Informal Proceedings.

[2] John McCarthy,et al. LISP 1.5 Programmer's Manual , 1962 .

[3] Martin Richards,et al. BCPL, A Tool for Compiler Writing and System Programming , 1899 .

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

[5] Luca Cardelli,et al. On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[6] Alan Dearle,et al. Safe Browsing in a Strongly Typed Persistent Environment , 1988, Comput. J..

[7] Juris Hartmanis,et al. The Programming Language Ada , 1983, Lecture Notes in Computer Science.

[8] Jack B. Dennis,et al. Segmentation and the Design of Multiprogrammed Computer Systems , 1965, JACM.

[9] Ken Thompson,et al. The UNIX time-sharing system , 1974, CACM.

[10] John F. Wakerly,et al. The programming language PASCAL , 1979, Microprocessors and microsystems.

[11] Butler W. Lampson,et al. A Kernel Language for Abstract Data Types and Modules , 1984, Semantics of Data Types.

[12] Ronald Morrison,et al. Designing a Persistent Information Space Architecture , 1986, IFIP Congress.

[13] Juris Hartmanis,et al. The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983 , 1983, Lecture Notes in Computer Science.