Login
Course Information
Identification

CS 302: Implementation of Programming Languages
 
Description

The compiled and interpreted execution models. Lexical analysis and parsing using lex and yacc. Scope and visibility analysis.

The role of types. Type analysis of a language with basic types,derived types, parametric polymorphism and subtypes. Binding times.

Data layout and lifetime management of data. Stack and heap as storage structures. Implementation of function calls. Activation records structures. Dynamic memory allocation and Garbage collection.

Implementation of higher order functions - closures. Implementation of control structures, exception handling. Implementation of object oriented concepts -- objects, inheritance and dynamic dispatch.
Implementation of a naive code generator for a virtual machine. Security checking of virtual machine code.
 
References

1.Alfred V. Aho, Monica S. Lam, Ravi Sethi and Jeffrey D. Ullman: Compilers: Principles, Techniques, and Tools, 2/E, Addison-Wesley 2007.2.Andrew Appel : Modern Compiler Implementation in C/ML/Java, Cambridge University Press, 20043. Dick Grune, Henri E. Bal, Cerial J.H. Jacobs and Koen G. Langendoen: Modern Compiler Design, John Wiley & Sons, Inc. 2000.4. Michael L. Scott: Programming Language Pragmatics, Morgan Kaufman Publishers, 2006.
 
Home Page

Not Available
 
Prerequisites

N/A
 
Other Details

Duration : Full Semester Total Credit : 8
Type : Theory
 
Autumn Semester 2019-20

Status : Not Offered Instructor : ---
 
Spring Semester 2019-20

Status : Offered Instructor : Prof. Uday Khedker




Last Modified Date: 15-Jul-2013

Webmail

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