Academic Catalog


Course Code: 5710540
METU Credit (Theoretical-Laboratory hours/week): 3(3-0)
ECTS Credit: 8.0
Department: Computer Engineering
Language of Instruction: English
Level of Study: Graduate
Course Coordinator: Prof.Dr. MEHMET HALT S. OUZTZN
Offered Semester: Fall or Spring Semesters.

Course Content

Analysis of syntactic and semantic properties of programming languages. Operational, denotational and axiomatic approaches to semantics. Typed lambda calculus. Algebraic data types. Case studies include a typed functional language with higher-order functions and an imperative sequential language.