70 likes | 242 Views
ICS 535 Design and Implementation of Programming Languages Syllabus (101). Instructor. Dr. Muhammed Al-Mulhem Office: 22-323 Phone: 860-4216 E-mail: mulhem@kfupm.edu.sa Office hours: S M 10:00 – 11:00 PM or By appointment. Course. Class Time: S M 6:30 - 7:45 PM
E N D
ICS 535Design and Implementation of Programming Languages Syllabus (101) ICS535-101
Instructor • Dr. Muhammed Al-Mulhem • Office: 22-323 • Phone: 860-4216 • E-mail: mulhem@kfupm.edu.sa • Office hours: S M 10:00 – 11:00 PM or By appointment ICS535-101
Course • Class Time: S M 6:30 - 7:45 PM • Location: 24-130 • Catalog Description: Principles of functional, imperative, object-oriented and logic programming languages. Semantic specification including axiomatic, operational and denotational semantics. Fundamentals of type systems such as abstract data types, polymorphism, and inference. Concurrent systems. Case studies of contemporary programming languages. • Prerequisite: ICS 410 or Equivalent • Textbook: Concepts in Programming Languages, by John C. Mitchell, Cambridge University Press (2003), ISBN: 0 521 78098 5. ICS535-101
Course Outline • Course contents are divided into four parts Part I: Functions and Foundations Part II: Procedures, Types, Memory Management, and Control Part III: Modularity, Abstraction, and Object- Oriented programming Part IV: Concurrency and logic programming ICS535-101
Approach • Breadth • Coverage of programming languages concepts through lectures and reading assignments • Depth • Every student will choose a specific topic of their choice, collect some recent papers on the chosen topic and write a summary for each paper. • Every student will submit a term paper. ICS535-101
Grading Policy • Reading Assignments 10% • Programming Assignments 45% • Term paper 20% • Final Exam (Jan. 28, 2010, 7:00pm) 25% ICS535-101
Important Notes • Attendance to class is required. • Missing six classes will result in a DN grade in the course. • Grades are final one week after the graded materials are returned. • No make up for exams or any other class work. ICS535-101