1. STORRE
  2. Faculty of Natural Sciences
  3. Computing Science and Mathematics
  4. Computing Science and Mathematics Conference Papers and Proceedings
Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/27709
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMorrison, Ronalden_UK
dc.contributor.authorConnor, Richard C Hen_UK
dc.contributor.authorCutts, Quintin Ien_UK
dc.contributor.authorDearle, Alanen_UK
dc.contributor.authorFarkas, Alexen_UK
dc.contributor.authorKirby, Graham N Cen_UK
dc.contributor.authorMcGettrick, Roberten_UK
dc.contributor.authorZirintsis, Evangelosen_UK
dc.contributor.editorBjøner, Den_UK
dc.contributor.editorBroy, Men_UK
dc.contributor.editorZamulin, AVen_UK
dc.date.accessioned2018-09-05T13:54:55Z-
dc.date.available2018-09-05T13:54:55Z-
dc.date.issued2000-12-31en_UK
dc.identifier.urihttp://hdl.handle.net/1893/27709-
dc.description.abstractThe 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.en_UK
dc.language.isoenen_UK
dc.publisherSpringer Verlagen_UK
dc.relationMorrison 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_28en_UK
dc.relation.ispartofseriesLecture Notes in Computer Science, 1755en_UK
dc.rightsThe 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.en_UK
dc.rights.urihttp://www.rioxx.net/licenses/under-embargo-all-rights-reserveden_UK
dc.subjectCurrent directionen_UK
dc.subjectdata itemen_UK
dc.subjectdependent typeen_UK
dc.subjectaccess pathen_UK
dc.subjectexecutable codeen_UK
dc.titleCurrent directions in hyper-programmingen_UK
dc.typeConference Paperen_UK
dc.rights.embargodate2999-12-31en_UK
dc.rights.embargoreason[Morrison et al.pdf] The publisher does not allow this work to be made publicly available in this Repository therefore there is an embargo on the full text of the work.en_UK
dc.identifier.doi10.1007/3-540-46562-6_28en_UK
dc.citation.jtitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en_UK
dc.citation.issn0302-9743en_UK
dc.citation.spage316en_UK
dc.citation.epage340en_UK
dc.citation.publicationstatusPublisheden_UK
dc.type.statusVoR - Version of Recorden_UK
dc.contributor.funderEngineering and Physical Sciences Research Councilen_UK
dc.author.emailrichard.connor@stir.ac.uken_UK
dc.citation.btitlePerspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedingsen_UK
dc.citation.conferencedates1999-07-06 - 1999-07-09en_UK
dc.citation.conferencelocationAkademgorodok, Russiaen_UK
dc.citation.conferencenamePerspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI 1999en_UK
dc.citation.date28/01/2000en_UK
dc.citation.isbn978-3-540-67102-2en_UK
dc.publisher.addressBerlin Heidelbergen_UK
dc.contributor.affiliationUniversity of St Andrewsen_UK
dc.contributor.affiliationUniversity of Strathclydeen_UK
dc.contributor.affiliationUniversity of Glasgowen_UK
dc.contributor.affiliationVision Systems Ltden_UK
dc.contributor.affiliationUniversity of St Andrewsen_UK
dc.contributor.affiliationUniversity of St Andrewsen_UK
dc.identifier.scopusid2-s2.0-84943235835en_UK
dc.identifier.wtid956135en_UK
dc.contributor.orcid0000-0003-4734-8103en_UK
dcterms.dateAccepted2000-01-28en_UK
dc.date.filedepositdate2018-08-16en_UK
rioxxterms.apcnot requireden_UK
rioxxterms.typeConference Paper/Proceeding/Abstracten_UK
rioxxterms.versionVoRen_UK
local.rioxx.authorMorrison, Ronald|en_UK
local.rioxx.authorConnor, Richard C H|0000-0003-4734-8103en_UK
local.rioxx.authorCutts, Quintin I|en_UK
local.rioxx.authorDearle, Alan|en_UK
local.rioxx.authorFarkas, Alex|en_UK
local.rioxx.authorKirby, Graham N C|en_UK
local.rioxx.authorMcGettrick, Robert|en_UK
local.rioxx.authorZirintsis, Evangelos|en_UK
local.rioxx.projectProject ID unknown|Engineering and Physical Sciences Research Council|http://dx.doi.org/10.13039/501100000266en_UK
local.rioxx.contributorBjøner, D|en_UK
local.rioxx.contributorBroy, M|en_UK
local.rioxx.contributorZamulin, AV|en_UK
local.rioxx.freetoreaddate2249-12-29en_UK
local.rioxx.licencehttp://www.rioxx.net/licenses/under-embargo-all-rights-reserved||en_UK
local.rioxx.filenameMorrison et al.pdfen_UK
local.rioxx.filecount1en_UK
local.rioxx.source978-3-540-67102-2en_UK
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings

Files in This Item:
File Description SizeFormat 
Morrison et al.pdfFulltext - Published Version729.68 kBAdobe PDFUnder Permanent Embargo    Request a copy


This item is protected by original copyright

View License
Show simple item record


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.