Potential Capabilities in ALGOL-Like Programs.

摘要

Consider an ALGOL program,with an 'uninterpreted block'. Somewhere in the program text is a 'begin... end'block, B,and the statements in that block are unknown. The question one would like to ask (informally) is:What can the statements in B 'do',if they are executed. The goal in this paper is to present a formal method for answering certain questions about the capabilities of a block B,embedded in an otherwise complete ALGOL-like program.