CENG540 PROGRAMMING LANGUAGES
| 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 HALÝT S. OÐUZTÜZÜN |
| 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.
