A kernel language for abstract data types and modules.
Proc. of the international symposium on Semantics of data types
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Safe browsing in a strongly typed persistent environment
The Computer Journal
Segmentation and the Design of Multiprogrammed Computer Systems
Journal of the ACM (JACM)
Communications of the ACM
LISP 1.5 Programmer's Manual
Journal of Intelligent Information Systems - Special issue: next generation information technologies and systems
Hi-index | 0.00 |
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.