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 - http://www.scopus.com/inward/record.url?scp=0343624401&partnerID=8YFLogxK
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 -