Login
Course Information
Identification

CS 152: Abstractions and Paradigms for Programming
 
Description

Review of the program development process, Issues in program design, Structured programming, Data and control abstractions, Programming with assertions. Reasoning about programs and proving correctness of programs. Ideas behind imperative, applicative, object oriented and logic programming paradigms such as typing, expressions, pure functions, recursion, higher order functions, encapsulation, inheritance, goal satisfaction, backtracking, unification. Some of the ideas behind the implementation of the paradigms. Course to be centered around problems and applications that demonstrate the main themes.
 
References

Harold Abelson, Gerald Jay Sussman and July Sussman, Structure and Interpretation of Computer Programs, 2nd edition, The MIT Press, 1996. David A. Watt, Programming Language Concepts and Paradigms, Prentice-Hall, 1990. Rajeev Sangal, Programming Paradigms in Lisp, McGraw Hill, 1991.
 
Home Page

Not Available
 
Prerequisites

N/A
 
Other Details

Duration : Full Semester Total Credit : 6
Type : Theory
 
Current Semester (Autumn 2017-18)

Status : Not Offered Instructor : ---
 
Next Semester (Spring 2017-18)

Status : Offered Instructor : Prof. Amitabha Sanyal




Last Modified Date: 09-May-2016

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback