Compilers (CS362 2004S)

Class 25: Type Checking (1): Introduction

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

Held: Wednesday, 31 March 2004

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:

Assignments

Notes:

Overview:

An Introduction to Type Checking

When Should You Type Check?

Common Types

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 May 5 11:47:08 2004.
The source to the document was last modified on Tue Jan 20 23:06:46 2004.
This document may be found at http://www.cs.grinnell.edu/~rebelsky/Courses/CS362/2004S/Outlines/outline.25.html.

You may wish to validate this document's HTML ; Valid CSS! ; Check with Bobby

Samuel A. Rebelsky, rebelsky@grinnell.edu