This page provides information on some of the resources available for students in COP 5021. The page contains various resources about:

  1. the course,
  2. program analysis,
  3. semantics in general, and
  4. 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 Thursday, February 22, 2018.

This web page is for the Spring 2018 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 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.