A Capability Based Language for Persistent Programming: Implementation Issues

The Department of Computer Science at Monash University has designed and built a multiprocessor capability based computer system. One of the major tasks now being addressed is the question of language support for this system. It has always been the intention that besides being able to execute the more conventional programming languages, the architecture would be used to provide a persistent programming environment. To this end, a persistent capability based language has been designed.

[1]  A.S.M. Sajeev.  Language constructs for persistent object based programming , 1988, Seventh Annual International Phoenix Conference on Computers an Communications. 1988 Conference Proceedings.

[2]  C. S. Wallace,et al.  A Password-Capability System , 1986, Comput. J..

[3]  John Rosenberg,et al.  MONADS-PC - a capability-based workstation to support software engineering , 1985 .

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

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

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

[7]  Malcolm P. Atkinson,et al.  PS-algol: an algol with a persistent heap , 1982, SIGP.

[8]  A. S. M. Sajeev,et al.  Manipulation of Data Structures Without Pointers , 1987, Inf. Process. Lett..

[9]  Ellis Horowitz,et al.  Fundamentals of Programming Languages , 1984, Springer Berlin Heidelberg.

[10]  Robert S. Fabry,et al.  Capability-based addressing , 1974, CACM.

[11]  B. R. S. Buckingham,et al.  A hardware implementation of capability-based addressing , 1980, CARN.

[12]  Gregory R. Andrews,et al.  Synchronizing Resources , 1981, TOPL.

[13]  Murray Hill,et al.  Yacc: Yet Another Compiler-Compiler , 1978 .