Resources

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

  1. Miscellaneous Resources: about the course, program analysis, semantics in general, and programming languages.

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. Please contribute, and thanks!

General Resources about Program Analysis

Tools for Implementing Program Analyses

Applications of Program Analysis

General Semantics Resources

Programming Language Resources

Return to top

Last modified Monday, March 24, 2008.

This web page is for the Spring 2008 offering of COP 5021 at the University of Central Florida. The details of this course are subject to change as experience dictates. You will be informed of any changes. Please direct any comments or questions to Gary T. Leavens at leavens@eecs.ucf.edu. Some of the policies and web pages for this course are quoted or adapted from other courses I have taught, in particular, COP 4020 and Com S 641.