The words contained in this file might help you see if this file matches what you are looking for:

...Compiler construction lecture semantic analysis robert m siegfried all rights reserved what is the task of ensuring that declarations and statements a program are semantically correct i e their meaning clear consistent with way in which control structures data types supposed to be used does involve typically involves type checking manner definition only compatible operations defined for them etc label labels references must exist flow checks proper fashion no gotos into fortran do statement breaks outside loop or switch where performed not separate module within it usually collection procedures called at appropriate times by parser as grammar requires implementing actions conceptually simpler recursive descent parsing because they simply added table action driven ll addition third variable productions necessary software routines process produce part producing some sort representation either object code an intermediate one pass compilers will generate without using generation during oth...