Type checking in Compiler Design

In this article we discuss the process through which a compiler checks for correct syntactic and semantic conversions for a source language.

Table of contents.Introduction.Design spaces for types.Attributes.Environments for type checking.Type checking expressions.Type checking of function declarations.Type checking a program.Other type checking aspects.Summary.References.Introduction.

Type checking is the process of verifying and enforcing constraints of types in values.

Lexical ana...