FIELD: checking part of record variables addressed to before assigning value to them. SUBSTANCE: check is made in semantic checking part of compiler for high-level programming language. Definite entrances are provided for name list table (character table) which points to two additional lists: f-list (field list) and c-list (component list). Semantic analyzer addresses name list table as well as f- and c-lists to find out if part of record variable is assigned value. If not, compiler prints error message. EFFECT: provision for detecting semantic errors of definite type in computer programs. 20 cl, 12 dwg
