CS372
REVIEW for Test 1
on Feb. 10, 1998
Test is closed book
- High Level vs Low Level Languages
(Interpreter, Compiler, Forth Generation Languages),
(Machine Language, Assembler, Macro Processor)
- the time line
- ML
- High Level Languages (FORTRAN, COBOL)
- Structured Programming (Algol, PL/1, Pascal)
- OOP (Simula, Smalltalk, C++, Ada)
- Formal Description of Languages
- BNF (and EBNF)
grammar, language, derivation, parse tree, ambiguous grammar,
recursive descent parsing,
- attribute Grammars (Knuth), Augmented Grammars
- Dynamic Semantics
- Axiomatic Semantics (proving a program correct) (loop invariants)
- Denotational Semantics (Scott&Strachey) static mathematical model
(the process included in the static description)
-
Variables
- name
- address
- value
- type
- lifetime
- scope
the language LISP
- the structure
- list handling (car, cdr, cons, append)
- testing (atom, null, > ...) cond
- functional programming (defun) recursion
- variables setq
- looping DO