Skip header navigation

University of Stirling

×

Conference Proceeding

Current directions in hyper-programming

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

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.

Keywords
Current direction; data item; dependent type; access path; executable code;

Journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

StatusPublished
Author(s)Morrison, Ronald; Connor, Richard C H; Cutts, Quintin I; Dearle, Alan; Farkas, Alex; Kirby, Graham N C; McGettrick, Robert; Zirintsis, Evangelos
FundersEngineering and Physical Sciences Research Council
Title of seriesLecture Notes in Computer Science
Number in series1755
Publication date31/12/2000
Publication date online28/01/2000
URLhttp://hdl.handle.net/1893/27709
PublisherSpringer Verlag
Place of publicationBerlin Heidelberg
ISSN of series0302-9743
ISBN978-3-540-67102-2
ConferencePerspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI 1999
Conference locationAkademgorodok, Russia
Dates
Scroll back to the top