CSE – 504 PRINCIPLES OF PROGRAMMING LANGUAGES

1. Evolution of programming languages: Importance of study of programming languages, Language Evolution and design Criteria.

2. Study of Imperative programming languages: Imperative programming languages and Von Neumann Architecture, Syntax: Grammers, BNF & Regular expressions, leftmost and rightmost derivation, parse trees.

Semantics: Operational, Ariomatic and Demotational semantics of imperative languages, Pragmatics. Scope: Static and dynamic scopes. Binding and life time of variables. Parameter passing including pass by value, pass by result, pass by value-result, pass by reference & pass by name. Implementation of parameter passing in different programming languages.

3. Logic programming: Basic notion of predicate calculus, SLD reolution principle, verification and substitution, Fix point computation, Introduction to PROLOG as a logic programming language.

4. Functional Programming: Study of LISP programming style, Lambda-Calculus, Translation of functional programming languages into Lambda Calculus.

TEXTBOOKS

1. E. Horowitz: Fundamentals of Programming Languages, Galgotia Publications, New Delhi.

2. R.D. Tennent: Principles of Programming Languages, PHI

3. T.W. Pratt: Programming languages - Design and implementation, PHI

4. A. Narayanan, N.E. Sharkey: An Introductin to LISP, Affiliated E.W. Press, New Delhi.

REFERENCE BOOKS:

1. Concept of Programming Language by Ravi Sethi.

2. Principles of Programming Language by R.D. tennert

3. First Order Predicate logic and Mathematical theorem proving by Chang & Lee.

4. LISP by R.H. Winston.

© Copyright National Institute of Science & Technology, Berhampur, Orissa, India
Website Maintained by NIST Training & Consultancy Services