STORRE
STORRE: Stirling Online Research Repository
http://hdl.handle.net/1893/27709| Appears in Collections: | Computing Science and Mathematics Conference Papers and Proceedings |
| Author(s): | Morrison, Ronald Connor, Richard C H Cutts, Quintin I Dearle, Alan Farkas, Alex Kirby, Graham N C McGettrick, Robert Zirintsis, Evangelos |
| Contact Email: | richard.connor@stir.ac.uk |
| Title: | Current directions in hyper-programming |
| Editor(s): | Bjøner, D Broy, M Zamulin, AV |
| Citation: | Morrison R, Connor RCH, Cutts QI, Dearle A, Farkas A, Kirby GNC, McGettrick R & Zirintsis E (2000) Current directions in hyper-programming. In: Bjøner D, Broy M & Zamulin A (eds.) Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings. Lecture Notes in Computer Science, 1755. Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI 1999, Akademgorodok, Russia, 06.07.1999-09.07.1999. Berlin Heidelberg: Springer Verlag, pp. 316-340. https://doi.org/10.1007/3-540-46562-6_28 |
| Issue Date: | 31-Dec-2000 |
| Date Deposited: | 16-Aug-2018 |
| Series/Report no.: | Lecture Notes in Computer Science, 1755 |
| Conference Name: | Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI 1999 |
| Conference Dates: | 1999-07-06 - 1999-07-09 |
| Conference Location: | Akademgorodok, Russia |
| Abstract: | The traditional representation of a program is as a linear sequence of text. At some stage in the execution sequence the source text is checked for type correctness and its translated form is linked to values in the environment. When this is performed early in the execution process, confidence in the correctness of the program is raised. During program execution, tools such as debuggers are used to inspect the running state of programs. Relating this state to the linear text is often problematical. We have developed a technique, hyperprogramming, that allows the representations of source programs to include direct links (hyper-links) to values, including code, that already exist in the environment. Hyperprogramming achieves our two objectives of being able to link earlier than before, at program composition time, and to represent sharing and thus closure and through this the run-time state of a program. This paper reviews our work on hyper-programming and proposes some current research areas. |
| Status: | VoR - Version of Record |
| Rights: | The publisher does not allow this work to be made publicly available in this Repository. Please use the Request a Copy feature at the foot of the Repository record to request a copy directly from the author. You can only request a copy if you wish to use this work for your own research or private study. |
| Licence URL(s): | http://www.rioxx.net/licenses/under-embargo-all-rights-reserved |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Morrison et al.pdf | Fulltext - Published Version | 729.68 kB | Adobe PDF | Under Permanent Embargo Request a copy |
Note: If any of the files in this item are currently embargoed, you can request a copy directly from the author by clicking the padlock icon above. However, this facility is dependent on the depositor still being contactable at their original email address.
This item is protected by original copyright |
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/
If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.