Show simple item record

Files in this item

Thumbnail

Item metadata

dc.contributor.authorKirby, Graham Njal Cameron
dc.contributor.authorConnor, RCH
dc.contributor.authorCutts, QI
dc.contributor.authorDearle, Alan
dc.contributor.authorFarkas, AM
dc.contributor.authorMorrison, Ronald
dc.contributor.editorAlbano, Antonio
dc.contributor.editorMorrison, Ron
dc.date.accessioned2011-01-06T15:38:01Z
dc.date.available2011-01-06T15:38:02Z
dc.date.issued1992
dc.identifier.citationKirby , G N C , Connor , RCH , Cutts , QI , Dearle , A , Farkas , AM & 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/09/92 .en
dc.identifier.citationconferenceen
dc.identifier.isbn3-540-19800-8
dc.identifier.otherPURE: 5012044
dc.identifier.otherPURE UUID: fff3fec7-4267-4d3f-8374-1938be5473f4
dc.identifier.otherstandrews_research_output: 3729
dc.identifier.otherORCID: /0000-0002-4422-0190/work/28429156
dc.identifier.urihttps://hdl.handle.net/10023/1661
dc.descriptionThis work was supported by ESPRIT III Basic Research Action 6309 – FIDE 2 and SERC grant GR/F 02953.en
dc.description.abstractThe 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.
dc.language.isoeng
dc.publisherSpringer-Verlag
dc.relation.ispartof5th International Workshop on Persistent Object Systems (POS5)en
dc.subjectNapier88en
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subject.lccQA75en
dc.titlePersistent hyper-programsen
dc.typeConference itemen
dc.description.versionPostprinten
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen


This item appears in the following Collection(s)

Show simple item record