AUTOMATIC MONITORING OF THE CORRECT RECORDING OF ALGORITHMS IN THE ALGOL-60 LANGUAGE,
Abstract
A semantic method for checking the accuracy of ALGOL algebraic problems is proposed. The content and organization of the semantic program are discussed as well as various additional problems associated with freeing the information from errors. The proposed method verifies the program with respect to the following points: (1) the rules established for description of the programs should be observed; (2) the quantities appearing in the program should be used in positions corresponding to their 'nature'; (3) the actual parameters of the procedure operator and the formal parameters for description of this procedure should correspond to one another in the sense that the procedure field, modified according to the rules for syntactic and semantic sense, i.e. these three points should be fulfilled in the operator. A general program is described for carrying out this checking method. This verification system is self-contained with respect to the translator and may be used on machines with less complex coding. Some of the general limitations of the system are pointed out.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 16, 1967
- Accession Number
- AD0661773
Entities
People
- N. N. Lozinskii
- V. A. Vasilev
Organizations
- National Air and Space Intelligence Center