Files in this item
Current directions in hyper-programming
Item metadata
dc.contributor.author | Morrison, R | |
dc.contributor.author | Connor, R C H | |
dc.contributor.author | Cutts, Q I | |
dc.contributor.author | Dearle, A | |
dc.contributor.author | Farkas, A | |
dc.contributor.author | Kirby, G N C | |
dc.contributor.author | McGettrick, R | |
dc.contributor.author | Zirintsis, Evangelos | |
dc.contributor.editor | Bjøner, D | |
dc.contributor.editor | Broy, M | |
dc.contributor.editor | Zamulin, A V | |
dc.date.accessioned | 2011-04-04T11:04:50Z | |
dc.date.available | 2011-04-04T11:04:50Z | |
dc.date.issued | 2000 | |
dc.identifier | 5113678 | |
dc.identifier | a855cfe3-e995-4537-88be-5c3dbc36e3c3 | |
dc.identifier | 000165600600028 | |
dc.identifier | 84943235835 | |
dc.identifier.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 , Russian Federation , 6/07/99 . https://doi.org/10.1007/3-540-46562-6_28 | en |
dc.identifier.citation | conference | en |
dc.identifier.isbn | 3-549-67102-1 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.other | ORCID: /0000-0002-4422-0190/work/28429139 | |
dc.identifier.uri | https://hdl.handle.net/10023/1793 | |
dc.description.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. | |
dc.format.extent | 25 | |
dc.format.extent | 214210 | |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.relation.ispartof | 3rd International Andrei Ershov Memorial Conference on Perspectives of System Informatics | en |
dc.relation.ispartofseries | Lecture Notes in Computer Science | en |
dc.subject | Persistence | en |
dc.subject | QA76 Computer software | en |
dc.subject.lcc | QA76 | en |
dc.title | Current directions in hyper-programming | en |
dc.type | Conference item | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.identifier.doi | https://doi.org/10.1007/3-540-46562-6_28 |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.