Correctness of mixed computation in ALGOL-like programs

• 1 January 1977
• book chapter
• Published by Springer Nature
• p. 59-77
• https://doi.org/10.1007/3-540-08353-7_128

Abstract

Keywords

• RESIDUAL PROGRAM
• OPERATIONAL VERTEX
• PROCESS COMP
• FUNCTIONAL TERM
• SUSPENDED STATEMENT