Chapter 6 Type Checking Section 0 Overview.ppt

Chapter 6 Type Checking Section 0 Overview 1.Static Checking Check that the source program follows both the syntactic and semantic conventions of the source language Examples of static check Type checks (incompatible operand) Flow-of-control checks (break statement) Uniqueness checks (uniquely declared identifier) Name-related checks Chapter 6 Type Checking Section 0 overview 2.Position of type checker Notes: 1)A type checker verifies that the type of a construct matches that expected by its context. 2)Type information gathered by a type checker may be needed when code is generated. 3)A symbol that can represent different operations in different context is said to be “overloaded” parser Token stream Type checker Syntax tree Intermediate code generator Syntax tree Intermediate representation Chapter 6 Type Checking Section 1 Type Systems 1. Type Expressions Denote the type of a language construct 1) A basic type is a type expression. 2) A type name is a type expression. 3) A type constructor applied to type expression is a type expression. Constructors include: Arrays, products, records,pointers, functions 4) Type expressions may contain variables whose values are type expressions. Notes: A convenient way to represent a type expression is to use a graph Chapter 6 Type Checking Section 1 Type Systems 2. Type Systems A type system is a collection of rules for assigning type expressions to the various parts of a program. Note: 1)A type checker implements a type system 2)The type systems are specified in a syntax-directed manner 3)Different type systems may be used by different compilers or processors of the same language Chapter 6 Type Checking Section 1 Type Systems 3. Static and Dynamic Checking of Types Static Checking (Done by a compiler) Dynamic Checking (Checking after run) Strongly typed language (if its compiler can guarantee that the programs it accepts will execute without type error) 4. Error Recovery Chapter 6 Type Checking Sectio