CS362 2011F Compilers

Class 26: Type Checking (1) Introduction

Back to Semantic Actions. On to Type Checking (2) Type Equivalence.

This outline is also available in PDF.

Held: Monday, 31 October 2011

Summary: Today we begin our consideration of a key semantic step: type checking. That is, we consider where and how one might verify types in a program. We also consider related issues, such as the definition of type.

Related Pages:

Notes:

Overview:

Where We Are And Where We're Going

An Introduction to Type Checking

Compile-Time vs. Run-Time Type Checking

Common Types

Where Should You Type Check?

Computing Types

Back to Semantic Actions. On to Type Checking (2) Type Equivalence.

Disclaimer: I usually create these pages on the fly, which means that I rarely proofread them and they may contain bad grammar and incorrect details. It also means that I tend to update them regularly (see the history for more details). Feel free to contact me with any suggestions for changes.

This document was generated by Siteweaver on Wed Dec 7 10:26:34 2011.
The source to the document was last modified on Fri Aug 26 13:03:12 2011.
This document may be found at http://www.cs.grinnell.edu/~rebelsky/Courses/CS362/2011F/Outlines/outline.26.html.

Samuel A. Rebelsky, rebelsky@grinnell.edu