Mechanisms for Controlling Evolution in Persistent Object Systems

Ronald Morrison; RCH Connor; QI Cutts; Graham Njal Cameron Kirby; D Stemple

doi:10.1016/0141-9331(93)90047-B

Mechanisms for Controlling Evolution in Persistent Object Systems

Ronald Morrison, RCH Connor, QI Cutts, Graham Njal Cameron Kirby, D Stemple

School of Computer Science

Research output: Contribution to journal › Article › peer-review

Abstract

Persistent programming is concerned with the creation and manipulation of data with arbitrary lifetimes. A requirement of such systems is that the data (including programs) must be capable of evolving and that evolution should be within the control of the application's programmer. This paper discusses some recent developments in persistent programming that enable controlled evolution. The areas discussed are: the use of type systems, the use of reflection and a new style of programming, only available in persistent object systems, called hyper-programming.

Original language	English
Pages (from-to)	173-181
Number of pages	9
Journal	Microprocessors and Microsystems
Volume	17
DOIs	https://doi.org/10.1016/0141-9331(93)90047-B
Publication status	Published - Apr 1993

Keywords

PERSISTENCE
EVOLUTION
TYPE SYSTEMS
CONSTRAINT CHECKING
LINGUISTIC REFLECTION
HYPER-PROGRAMMING

Access to Document

10.1016/0141-9331(93)90047-B

Handle.net

Persistent link

Cite this

@article{9e8c2a1b50cb4f70986ae93bd0f321ba,

title = "Mechanisms for Controlling Evolution in Persistent Object Systems",

abstract = "Persistent programming is concerned with the creation and manipulation of data with arbitrary lifetimes. A requirement of such systems is that the data (including programs) must be capable of evolving and that evolution should be within the control of the application's programmer. This paper discusses some recent developments in persistent programming that enable controlled evolution. The areas discussed are: the use of type systems, the use of reflection and a new style of programming, only available in persistent object systems, called hyper-programming.",

keywords = "PERSISTENCE, EVOLUTION, TYPE SYSTEMS, CONSTRAINT CHECKING, LINGUISTIC REFLECTION, HYPER-PROGRAMMING",

author = "Ronald Morrison and RCH Connor and QI Cutts and Kirby, \{Graham Njal Cameron\} and D Stemple",

year = "1993",

month = apr,

doi = "10.1016/0141-9331(93)90047-B",

language = "English",

volume = "17",

pages = "173--181",

journal = "Microprocessors and Microsystems",

issn = "0141-9331",

publisher = "Elsevier",

}

TY - JOUR

T1 - Mechanisms for Controlling Evolution in Persistent Object Systems

AU - Morrison, Ronald

AU - Connor, RCH

AU - Cutts, QI

AU - Kirby, Graham Njal Cameron

AU - Stemple, D

PY - 1993/4

Y1 - 1993/4

N2 - Persistent programming is concerned with the creation and manipulation of data with arbitrary lifetimes. A requirement of such systems is that the data (including programs) must be capable of evolving and that evolution should be within the control of the application's programmer. This paper discusses some recent developments in persistent programming that enable controlled evolution. The areas discussed are: the use of type systems, the use of reflection and a new style of programming, only available in persistent object systems, called hyper-programming.

AB - Persistent programming is concerned with the creation and manipulation of data with arbitrary lifetimes. A requirement of such systems is that the data (including programs) must be capable of evolving and that evolution should be within the control of the application's programmer. This paper discusses some recent developments in persistent programming that enable controlled evolution. The areas discussed are: the use of type systems, the use of reflection and a new style of programming, only available in persistent object systems, called hyper-programming.

KW - PERSISTENCE

KW - EVOLUTION

KW - TYPE SYSTEMS

KW - CONSTRAINT CHECKING

KW - LINGUISTIC REFLECTION

KW - HYPER-PROGRAMMING

UR - https://www.scopus.com/pages/publications/0343624401

UR - https://archive.cs.st-andrews.ac.uk/papers/download/MCC+93.pdf

U2 - 10.1016/0141-9331(93)90047-B

DO - 10.1016/0141-9331(93)90047-B

M3 - Article

SN - 0141-9331

VL - 17

SP - 173

EP - 181

JO - Microprocessors and Microsystems

JF - Microprocessors and Microsystems

ER -

Mechanisms for Controlling Evolution in Persistent Object Systems

Abstract

Keywords

Access to Document

Handle.net

Other files and links

Fingerprint

Cite this