454. PRINCIPLES OF PROGRAMMING LANGUAGES

Block structured languages-design principles-abstractions-control and data structures-binding, environment-parameter passing mechanisms-aromatic semantics-introduction to applicative languages-study of LISP-programming style-lambda calculus-property lists and macro expansion in LISP-data types-types and parameters-data abstraction-abstract data types-innovative features, design philosophies and comparative look at snobol, APL, Prolog, Smalltak, Backus, F.P. communicating sequential process etc.

Practical:
Programming in LISP, suitable programming examples to illustrate lecture material.

References:
1. R.D. Tennent, Principles of Programming Languages, Prentice Hall, 1981.
2. P.H. Winston and B.K.P. Hom, LISP, Addison-Wesley, 1981.
3. E.Charmiak, C.K. Riesbeck and D.V. McDermott, Artificial Intelligence Programming, Lawrence Earlbaum Associates, Hillside, NJ, 1980.
4. P. Henderson, Functional Programming, Prentice Hall, 1980.