Scribd
Upload
84 views2 pages

Ec 352

This document provides information about the Principles of Programming Languages course offered by the Electronics and Computer Engineering department at Indian Institute of Technology Roorkee. The 3-credit course is offered in the autumn semester and introduces students to the semantics and features of programming languages. Over 6 weeks, it will cover topics like lambda calculus, sequential programming languages, object-oriented programming, type theory, nondeterminism, program correctness, and program verification. Evaluation will be based on classwork, projects, mid-term exams, and end-term exams. Recommended textbooks for the course are listed.

Uploaded by

Ankit Agrawal
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
84 views2 pages

Ec 352

This document provides information about the Principles of Programming Languages course offered by the Electronics and Computer Engineering department at Indian Institute of Technology Roorkee. The 3-credit course is offered in the autumn semester and introduces students to the semantics and features of programming languages. Over 6 weeks, it will cover topics like lambda calculus, sequential programming languages, object-oriented programming, type theory, nondeterminism, program correctness, and program verification. Evaluation will be based on classwork, projects, mid-term exams, and end-term exams. Recommended textbooks for the course are listed.

Uploaded by

Ankit Agrawal
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

INDIAN INSTITUTE OF TECHNOLOGY ROORKEE

NAME OF DEPT./CENTRE: 1. Subject Code: EC - 352

Electronics and Computer Engineering


Course Title: Principles of Programming Languages

2. Contact Hours: 3. Examination Duration (Hrs.):

L: 3 Theory

T: 0 0 3

P: 0 Practical 0 0

4. Relative Weightage: CWS 0 3

1 15

PRS 00

MTE

35

ETE 50

PRE 00

5. Credits:

6. Semester Autumn

Spring

Both

7. Pre-requisite: EC - 355 8. Subject Area: DCC 9. Objective: To introduce the semantics of programming languages and develop skills in describing, analyzing, and using the features of programming languages.

10. Details of the Course: Sl. No. 1. 2. 3. 4. 5. 6. 7. Contents Lambda Calculus and Turing Machines: Equivalence of Lambda calculus and Turing machines, free and bound variables, substitutions. Sequential Programming Languages: Constructs, programs as state transformers, denotational semantics. Object-oriented Programming Languages: Constructs, mathematical structures, implementation, constraint matching. Type Theory: Operational semantics, basic type systems and type soundness, advanced type systems. Nondeterminism: Predicate transformers, guarded command language, algebraic specification. Program Correctness: Program termination, well-foundedness, logics of programs, correctness proof. Program Verification: Hoare logic, model checking, model checkers, algorithmic versus deductive approaches.
Total

Contact Hours 6 6 4 6 6 6 8 42

11. Suggested Books: Sl. No. 1. 2. 3. Name of Books / Authors Sethi, R., Programming Languages: Concepts and Constructs, Pearson Education. Tucker, A. and Noonan, R., Programming Languages: Principles and Paradigms, Tata McGraw-Hill. Van Roy, P. and Haridi, S., Concepts, Techniques and Models of Computer Programming, Prentice-Hall of India. Year of Publication 2004 2007 2005

You might also like