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" (MIT Press, 2004). ** introduction what the course is about ** designing-a-language basic decisions behind Oz ** 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) (incomplete) ** oop Object-oriented programming (planned, but no notes) ** shared-state Shared-state concurrency (planned, but no notes) ** relational Relational programming ** aop aspect oriented programming (planned, but no notes) * Specialized Computation Models ** guis Graphical user interface programming (planned, but no notes) ** distributed Distributed programming (planned, but no notes) ** constraint Constraint programming (planned, but no notes) * Semantics ** semantics Formalized language semantics (planned, but no notes) * summary-review * course-evaluations