Review for Test 2

1
Review for Test 2

• Chapters 5 (start at 5.4), 6.1, 7.1-7.5, 12, 13,
  15.1, Python

2

• Detailed study guide is available from the course
  web page.

3
Chapter 5 - Types

• Array design implementation issues e.g.,
  bounds checking yes or no?, access functions
  for one and two-d arrays
• Parametric polymorphism

4
Chapter 6 Type Systems

• A type system is the set of rules that defines
  the binding between a type, its values, and the
  operations that can be performed on the values.
• A type map is a function that binds the variables
  declared in a program to their type.
• Six type rules be able to recognize them but
  you do not have to memorize them. You should be
  able to state a simple type rule.

5
Chapter 7 Semantics

• Define semantics
• Be able to express infix expressions in other
  formats.
• Side effects
• Various special features short circuit eval,
  assignment semantics, etc.
• Definition of Turing complete languages

6
Chapter 12 Imperative

• Characteristics relation to von Neumann
  computers
• Procedural abstractions and top-down refinement

7
OO Paradigm

• Three characteristics of OO programming languages
• Be sure to understand the difference between
  pure polymorphism and parametric polymorphism
• OO terminology
• Pythons OO characteristics

8
Python

• Know the features that you needed for your
  program (especially for, range statement, lists,
  dictionaries)
• No need to memorize I/O syntax
• Know basic characteristics of scripting languages
• Compare Python to C, C, Java syntax.

9
Chapter 15 Logic Programming

• Differences between logic programming paradigm
  and imperative/OO paradigm.
• Program as facts and rules Prolog provides the
  logic
• Be able to identify terms such as Horn clause,
  resolution,

10
Format

• Same type questions as Test 1
• GOOD LUCK!