A program structure for error detection and recovery

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

Volumn 16 LNCS, Issue , 1974, Pages 171-187

  Horning, J J ^a   Lauer, H C ^b   Melliar Smith, P M ^b   Randell, B ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

ERROR DETECTION AND RECOVERY; PROGRAM STRUCTURES; SOFTWARE ERRORS;

ARTIFICIAL INTELLIGENCE;

EID: 85035116702     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0029359     Document Type: Conference Paper

References (7)

1. Floyd, R.W., Assigning meanings to programs, in Mathematical Aspects of Computer Science, ed. Schwartz, J.T., Amer. Math. Soc. 1967.
2. Randell B., Operating Systems: the problems of performance and reliability. IFIP Congress 1971, Invited Papers, p. 100.
3. Balzer, R.M., EXDAMS, Extendable Debugging and Monitoring Systems, SJCC 1969, p. 567.
4. Prenner, C.J. et al, An Implementation of Backtracking for Programming Languages, ACM Annual Conference, 1972, p. 763.
5. Birtwistle, G.M. et al, SIMULA begin. Student Litteratur/Auerbach 1973.
6. Campbell, R.H. and Habermann, A.N., The Specification of Process Synchronisation by Path Expressions. (Published at this conference).
7. Lauer, H.C. and Wyeth D., A Recursive Virtual Machine Architecture, TR 54, Computing Laboratory, University of Newcastle upon Tyne, (September 1973).