University of Virginia, Department of Computer Science
CS655: Programming Languages
Spring 2000

Final Study Guide

The final will contain four questions:
  1. Big, multi-part question that will require you to use one or more formal techniques to prove properties about a language or program. You will pick up this question 90 minutes before your exam starts.
  2. A general question about language design. To answer it well, you will need to draw specific examples for programming languages you know.
  3. A specific question about programming paradigms.
  4. A question about anything else covered in the manifest questions.
The questions on the final will be loosely based on manifest questions selected from this list. The final questions may combine, specialize or subsume these questions. Not every manifest question appears in this list.
CS 655 University of Virginia
CS 655: Programming Languages
Last modified: Mon Feb 26 12:48:20 2001