2000
DOI: 10.1007/3-540-46562-6_28
|View full text |Cite
|
Sign up to set email alerts
|

Current Directions in Hyper-Programming

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 dev… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2001
2001
2001
2001

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 22 publications
(20 reference statements)
0
0
0
Order By: Relevance