CS G111 Final Exam Review

Dates and Locations

The final exam will be from 6:00 to 9:00pm on the indicated date at the indicated location.

The exam will be open-book, and open-notes, but no electronics (laptops, PDAs, cell phones, etc.) may be used.

You can expect that the exam will ask you to do things very similar to what has been on the problem sets. In general, you can expect these tasks to be somewhat simpler than those on the assignments, since you have a limited time to complete them.

The final exam will be cumulative, though it will emphasize the material since the midterm. Here are some possible tasks for the topics from the second half of the semester.

1. The Store: Figure out the value of a program in MUTABLE-PAIRS, as we did in class. Draw a picture of the environment and store during the execution of a program in such a language, as we did in class. Add a facility to a language with state, as in MP5. Add appropriate typechecking rules, as in MP7.
2. Type Checking and Type Inference: Work out the type of a small program. Add a new language facility to a typechecker like CHECKED. Write down the type equations for a small program in INFERRED, and solve them.
3. Modules: Figure out the type of an expression in the MODULES language.
4. Continuations: Add a feature to the language and interpreter of simple-procs-lang.