COP 4020 unit -*- Outline -*- * Introductory This outline is based on the book by Peter van Roy and Seif Haridi, "Concepts, Techniques, and Models of Computer Programming" ** introduction what the course is about ** concepts introduction to programming concepts, tour of paradigms * General Computation Models ** declarative the declarative computational model ** declarative-programming declarative programming techniques ** declarative-concurrency Declarative concurrency ** message-passing Message passing concurrency ** explicit-state Explicit state models (i.e., imperative programming) ** oop Object-oriented programming ** shared-state Shared-state concurrency ** relational Relational programming ** aop aspect oriented programming * Specialized Computation Models ** guis Graphical user interface programming ** distributed Distributed programming ** constraint Constraint programming * Semantics ** semantics Formalized language semantics * summary-review * course-evaluations