The Persistent Abstract Machine

RCH Connor, AL Brown, R Carrick, Alan Dearle, Ronald Morrison

Research output: Chapter in Book/Report/Conference proceedingConference contribution


The Persistent Abstract Machine is an integral part of a layered architecture model to support the Napier language. It interfaces cleanly with a persistent store, and allows persistence to be implemented without difficulty in a high-level language. The heap based storage mechanism of the Persistent Abstract Machine is designed to support the block retention nature of the Napier language. This allows the implementation of first class procedures and modules in programming languages with the minimum of effort. A primitive type system within the machine contains just enough information to allow machine instructions which behave differently according to the dynamic type of their operands. This type system, in conjunction with the block retention architecture, may be used to great effect to provide a fast implementation of polymorphic procedures, abstract data types, inheritance and bounded universal quantification.
Original languageEnglish
Title of host publicationPersistent Object Systems
Subtitle of host publicationProceedings of the Third International Workshop 10–13 January 1989, Newcastle, Australia
EditorsJohn Rosenberg, David Koch
Place of PublicationLondon
ISBN (Electronic)9781447131731
ISBN (Print)9783540196266
Publication statusPublished - 1989
EventPersistent Object Systems Third International Workshop (POS3) - Newcastle, Australia
Duration: 10 Jan 198913 Jan 1989
Conference number: 3

Publication series

NameWorkshops in Computing
ISSN (Print)1431-1682


ConferencePersistent Object Systems Third International Workshop (POS3)
Abbreviated titlePOS


Dive into the research topics of 'The Persistent Abstract Machine'. Together they form a unique fingerprint.

Cite this