& CS 154
Abstractions and Paradigms for Programming
Time & Space
CS 152 Lectures
Timings: Mon 11:35, Tue 8:30, Thu 9:30
Venue: CC 103
CS 154 Lab
Timing: Monday 2 pm - 4:55 pm
Venue: SW Lab SL2 + SL1
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,
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
the main themes.
Harold Abelson, Gerald Jay Sussman and July Sussman,
Structure and Interpretation of Computer Programs, 2nd edition, The
David A. Watt, Programming Language Concepts and Paradigms,
Rajeev Sangal, Programming Paradigms in Lisp, McGraw Hill, 1991.
to 2014 course plan
download some of my earlier lecture material from here
Use internal moodle links for course material that will be given
freshly for the 2020 batch