Resources

This page provides information on some of the resources available for students in Com S 641. The page is organized as follows:

  1. Miscellaneous Resources: about the course, program analysis, semantics in general, and programming languages.
  2. Reserve List: A list of materials on reserve at the Library

Miscellaneous Resources

The following are some links to various resources you may find useful about this course, program analysis, semantics in general, and programming languages.

Course Resources

Program Analysis Resources

Most of the links in this section were found by students in the class. Thanks!

General Resources about Program Analysis

Tools for Implementing Program Analyses

Applications of Program Analysis

General Semantics Resources

Programming Language Resources

Return to top

Reserve List

To check out one of these (for a few hours), go to the Parks Library reserve desk. Take along the call number and title, or look up Com S 641 there.

Author Nielson, Flemming, et al.
Title Principles of Programming Analysis
Publisher Berlin: Springer-Verlag ; c1999.
Call Number QA76.6 N537 1999

Return to top

Last modified Thursday, April 20, 2006.

This web page is for the Spring 2006 offering of Com S 641 at Iowa State University. The details of this course are subject to change as experience dictates. You will be informed of any changes. Thanks to Curtis Clifton for help with these web pages. Please direct any comments or questions to Gary T. Leavens.