CIS 352   —   SPRING 2009

Final Exam: Scope

Version 1 — 1 May 2009

When, Where, and How

• When: Tuesday, May 5, 12:30pm to 2:30pm.
• Where: Life Sciences 105
• How: Closed book, closed notes.

Coverage

• You should be familiar with all the topics from Exam 1, Exam 2, Quiz 3a, and Quiz 3b.

• Terms.

  Know the following terms, all of which are in the index of the text or in notes I've provided. Be able to define them and apply them (or give an example). For example, be able to define what a bound variable is and to pick out the bound variables in some Scheme code. Terms new to this exam are in red and underlined below.

  1. BNF
  2. call-by-need parameter passing
  3. call-by-value-result
  4. continuation passing style (EOPL page 141)
  5. critial region (EOPL 187)
  6. denoted value
  7. exceptions (EOP section 5.4)
  8. extent of a variable binding (EOPL page 90)
  9. iterative control behavior (EOPL page 140)
  10. mutual exclusion (EOPL page 187)
  11. recursive control behavior (EOPL page 140)
  12. type checking (EOPL page 240)
  13. type environment (EOPL page 238)
  14. type inference (page 240)
  15. type safety (EOPL page 233)
  16. variable aliasing
  17. variable assignment
  18. variable declaration (EOPL pages 87–91)
  19. variable reference (EOPL pages 87–91)
  20. well-typed (EOPL page 238)

  ---

• Pratice Questions: See the practice questions for Exam 1, Exam 2, Quiz 3a, and Quiz 3b along with the posted answers to those Exams and Quizzes.