Abstractions and Paradigms for Programming Spring 2014
Slot 4 LCC12
Lab Slot: CS154 Monday 2-5 New Software Lab
Review of the program development process,
Issues in program design,
Data and control abstractions,
Programming with assertions.
Reasoning about programs and proving correctness of programs.
Ideas behind imperative,
object oriented and
logic programming paradigms such as
higher order functions,
Some of the ideas behind the implementation of the paradigms.
Course to be centered around problems and applications that demonstrate
the main themes.
Harold Abelson, Gerald Jay Sussman and July Sussman,
Structure and Interpretation of Computer Programs, 2nd edition, The MIT
David A. Watt, Programming Language Concepts and Paradigms,
Rajeev Sangal, Programming Paradigms in Lisp, McGraw Hill, 1991.
2014 Spring Course Plan 2014