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/1793
This item has been viewed 2 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
Current_Directions_in_Hyper_Programming.pdf209.19 kBAdobe PDFView/Open
Title: Current directions in hyper-programming
Authors: Morrison, R
Connor, R C H
Cutts, Q I
Dearle, A
Farkas, A
Kirby, G N C
McGettrick, R
Zirintsis, Evangelos
Editors: Bjøner, D
Broy, M
Zamulin, A V
Keywords: Persistence
QA76 Computer software
Issue Date: 2000
Citation: Morrison , R , Connor , R C H , Cutts , Q I , Dearle , A , Farkas , A , Kirby , G N C , McGettrick , R & Zirintsis , E 2000 , ' Current directions in hyper-programming ' . in D Bjøner , M Broy & A V Zamulin (eds) , 3rd International Andrei Ershov Memorial Conference on Perspectives of System Informatics : PSI-99, Akademgorodok, Novosibirsk, Russia, 1999 . Lecture Notes in Computer Science , vol. 1755 , Springer , pp. 316-340 , 3rd International Andrei Ershov Memorial Conference on Perspectives of System Informatics , Novosibirsk , Russia , 6 July .
conference
Series/Report no.: Lecture Notes in Computer Science
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.
Version: Postprint
URI: http://hdl.handle.net/10023/1793
DOI: http://dx.doi.org/10.1007/3-540-46562-6_28
ISBN: 3-549-67102-1
ISSN: 0302-9743
Type: Conference item
Rights: This is an author version of the conference contribution. The original publication (c)2000 Springer-Verlag is available at www.springerlink.com
Publisher: Springer
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)