Research@StAndrews
 
The University of St Andrews

Research@StAndrews:FullText >
University of St Andrews Research >
University of St Andrews Research >
University of St Andrews Research >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10023/1661
This item has been viewed 5 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
KCC_92.pdf71.05 kBAdobe PDFView/Open
Title: Persistent hyper-programs
Authors: Kirby, Graham Njal Cameron
Connor, RCH
Cutts, QI
Dearle, Alan
Farkas, AM
Morrison, Ronald
Editors: Albano, Antonio
Morrison, Ron
Keywords: Napier88
QA75 Electronic computers. Computer science
Issue Date: 1992
Citation: Kirby , G N C , Connor , R C H , Cutts , Q I , Dearle , A , Farkas , A M & Morrison , R 1992 , ' Persistent hyper-programs ' . in A Albano & R Morrison (eds) , 5th International Workshop on Persistent Object Systems (POS5) . Springer-Verlag , pp. 86-106 , 5th International Workshop on Persistent Object Systems (POS5) , San Miniato , Italy , 1 September .
conference
Abstract: The traditional representation of a program as a linear sequence of text forces a particular style of program construction to ensure good programming practice. Tools such as syntax directed editors, compilers, linkers and file managers are required to translate and execute these linear sequences of text. At some stage in the execution sequence the source text is checked for type correctness and its translated form linked to values in the environment. When this is performed early in the execution process confidence in the correctness of the program is raised, at the cost of some flexibility of use. Persistent systems allow the persistent environment to participate in the program construction process. This raises the possibility of allowing the representations of source programs to include direct links to values that already exist in the environment. By analogy with hyper-text, where a piece of text contains links to other pieces of text, this source representation is called a hyper-program. This paper outlines how hyper-programming facilities may be provided within a persistent system, discusses advantages of the technique and proposes some outstanding research areas. The advantages of hyper-programming over conventional systems include the following: it allows more convenient program composition mechanisms; it allows earlier checking; it provides more flexible linking mechanisms; it allows more succinct program representations; and it allows procedure closures to be represented at a source code level.
Version: Postprint
Description: This work was supported by ESPRIT III Basic Research Action 6309 – FIDE 2 and SERC grant GR/F 02953.
URI: http://hdl.handle.net/10023/1661
ISBN: 3-540-19800-8
Type: Conference item
Publisher: Springer-Verlag
Appears in Collections:University of St Andrews Research
Computer Science Research



This item is protected by original copyright

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

DSpace Software Copyright © 2002-2012  Duraspace - Feedback
For help contact: Digital-Repository@st-andrews.ac.uk | Copyright for this page belongs to St Andrews University Library | Terms and Conditions (Cookies)