Topics for the CS314 Midterm exam
10/18/2007

The exam will cover all topics in class up to and including lecture on
Thursday, October 11th. We have covered 4 main topics so far this term:

1. Formal languages
regular expressions, finite state automata, BNF, context-free grammara, parse
trees, ambiguity, precedence & associativity of operators

2. Prolog and logic programming
queries, fact, rules, Prolog syntax, Prolog backtracking execution model,
Prolog search trees, unification (i.e., matching), negation, lists, trees,
generate and test programs, recursion

3, Names and bindings
kinds of data in a program: static(global), stack, heap; binding times,
run-time stack with frames (activation records) for procedures

4. Scoping
lexical and dynamic scoping, implementation: chains in the run-time stack,
lexical: display (Algol60); dynamic: central reference table