Persistent First Class Procedures are Enough

We describe how the provision of a persistent programming environment together with a language that supports first class procedures may be used to provide the semantic features of other object modelling languages. In particular the effects of information hiding, data protection and separate compilation are provided and a comparison of the method with more traditional techniques is examined.

[1]  Niklaus Wirth,et al.  Programming in Modula-2 , 1985, Texts and Monographs in Computer Science.

[2]  Hermann Kopetz.  On the implementation of an interactive system on a small computer , 1971, SIGP.

[3]  Ronald Morrison,et al.  Persistent object management system , 1984, Softw. Pract. Exp..

[4]  Niklaus Wirth,et al.  EULER: A generalization of ALGOL and its formal definition: Part 1 , 1966, Commun. ACM.

[5]  John B. Johnston,et al.  The contour model of block structured processes , 1971, SIGP.

[6]  B. J. Mailloux,et al.  Report on the Algorithmic Language ALGOL 68 , 1969 .

[7]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1959, Commun. ACM.

[8]  J. J. Horning,et al.  Report on the programming language Euclid , 1977, SIGP.

[9]  John C. Reynolds,et al.  GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept , 1970, Commun. ACM.

[10]  K. V. Nori.  The PASCAL "P" compiler , 1974 .

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

[12]  Rich Seidner,et al.  Interactive debug requirements , 1983, ACM SIGPLAN Notices.

[13]  Friedrich L. Bauer,et al.  Revised report on the algorithm language ALGOL 60 , 1963, CACM.

[14]  Stephen N. Zilles,et al.  Programming with abstract data types , 1974, SIGPLAN Symposium on Very High Level Languages.

[15]  Arthur Evans.  PAL—a language designed for teaching programming linguistics , 1968, ACM '68.

[16]  O. J. Dahl,et al.  Simula Begin , 1979 .

[17]  Craig Schaffert,et al.  Abstraction mechanisms in CLU , 1977, Commun. ACM.

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

[19]  Mary Shaw,et al.  An introduction to the construction and verification of Alphard programs , 1976, ICSE '76.

[20]  Robin Milner,et al.  A proposal for standard ML , 1984, LFP '84.

[21]  B. Morrison.  A method of implementing procedure entry and exit in block structured high level language , 1977 .

[22]  James J. Horning,et al.  Some desirable properties of data abstraction facilities , 1976, Conference on Data: Abstraction, Definition and Structure.

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

[24]  Brian A. Wichmann,et al.  Rationale for the design of the Ada programming language , 1979, SIGP.

[25]  Brian Randall,et al.  ALGOL 60 implementation , 1964 .

[26]  B. J. Mailloux,et al.  Report of Algorithmic Language ALGOL 68 , 1969 .

[27]  Stephen N. Zilles.  Procedural encapsulation: A linguistic protection technique , 1973 .

[28]  Gideon Yuval,et al.  The utility of the CDC 6000 registers , 1977 .

[29]  James H. Morris.  Protection in programming languages , 1973, CACM.

[30]  P. J. Landin,et al.  The next 700 programming languages , 1966, CACM.