CSC 2125F, Fall 2006

Tentative Reading List

This list may be changed during the semester.

Book

Abstract Interpretation

Widening

Shape Analysis

Program Semantics

Data Flow Analysis

Interprocedural Program Analysis

Spec#

Type Systems and Type Checking

Slicing

Axiomatic Semantics

Tools


Marsha Chechik
Last modified Nov. 28, 2006