{"id":76,"title":"Theory of Programming Languages","credit_hour":"3","lecture_hour":"45","outcome":"<!DOCTYPE html>\r\n<html>\r\n<head>\r\n<\/head>\r\n<body>\r\n\r\n<\/body>\r\n<\/html>","description":"<!DOCTYPE html>\r\n<html>\r\n<head>\r\n<\/head>\r\n<body>\r\n<p>The definition of a language: syntax and semantics. Grammars: finite automata and regular languages; context-free languages; pushdown automata; context-sensitive languages. Semantics: lambda calculus; the Church Roser theorem; polymorphism, b normalization theorem.<\/p>\r\n<\/body>\r\n<\/html>","books":"<!DOCTYPE html>\r\n<html>\r\n<head>\r\n<\/head>\r\n<body>\r\n\r\n<\/body>\r\n<\/html>","created_at":"2016-09-18 11:36:29","updated_at":"2016-10-17 19:51:41"} Details | Department of Computer Science and Engineering, IUB

CSC 501: Theory of Programming Languages

Offered Under: M.Sc. in Computer Science (CSC)

Description

The definition of a language: syntax and semantics. Grammars: finite automata and regular languages; context-free languages; pushdown automata; context-sensitive languages. Semantics: lambda calculus; the Church Roser theorem; polymorphism, b normalization theorem.

Prerequisites:

CSC 301 : Finite Automata and Computability

CSC 411 : Compiler Construction

Course Type	Major
Credit Hour	3
Lecture Hour	45

Expected Outcome(s):

Suggested Books:

Grading Policy: