CS 342 Lecture -*- Outline -*- * Terminology ** programming language Formal language capable of expressing all computations. Examples: Pascal, Ada, Prolog, Smalltalk, machine language. even: Lotus 1-2-3....