1 Overview CO3225 Programming Language: Theory and Practice Low Aim is a Crime, but not high ambition

2 Overview Instructor Dr. Seyed Mohamed Buhari PhD from Malaysia – 2003 Research: Optimizing the search of Access Control Lists for IP Packet Filtering Applications. Taught at Malaysia, Germany & Saudi Arabia. (OR) (OR) Extension: 1926 Office Location: HEP [Student and Staff Centre] Class Timings & Location: Mon [9:00 – 9:50AM] – FSM 2.15/2.16 Tue [2:10 – 3:00PM] – FSM 2.30/2.31 Thu [10:10 – 11:00AM] – FSM 1.15/1.16 Sat [9:00 – 12:00PM] – FSM 1.19

3 Overview Programming Language: Theory and Practice Its not just learning a language course. The main goal is to introduce the fundamental concepts in programming languages. Emphasis will be on principles of language design, semantics and implementation strategies. Introduces formal syntax and semantics. Practically it focuses on many languages like C/C++, Java, Prolog, … Notes at CO 3225

4 Overview [Tuc] Programming Languages Principles and Paradigms – Allen Tucker & Robert Noonan [Seb] Concepts in Programming Languages – Robert Sebesta [Kur] Formal Syntax and Semantics – Slonnger & Kurtz [SK] Programming Language: Application & Interpretation – [Dan] A Concise Introduction to Computer Languages – Daniel Cooke [Joh] Concepts in Programming Languages – John C. Mitchell [Sey] Foundations of Programming Languages – Seyed H. Roosta [Ben] Understanding Programming Languages – M. Ben-ari [Lou] Programming Languages Principles and Practice – Kenneth C. Louden [Ter] Programming Languages Design and Implementation – Terrence W. Pratt Contains appendices on various languages. [Aho] Principles of Compiler Design – Aho & Ullman Book References

5 Overview Introduction and Overview [Tuc-Ch1, Seb-Ch1&Ch2, Joh-P6,P8,P52, Dan-Ch1, Sey-Ch1, Ben-Ch1] Paradigms History Syntax [Tuc-Ch2, Joh-P12, Kur-Ch1, Dan-Ch2, Aho-Ch3,4,5] BNF, Regular Grammar Context-Free Grammar Syntax Analysis [Ambiguity, Variations] Syntax & Semantics [Tuc-Ch2, Kur-Ch1&Ch4, Dan-Ch3] Abstract Syntax Abstract Syntax Trees Recursive Descent Parsing Schedule

6 Overview Type Systems & Semantics [Tuc-Ch3, Kur-Ch8, Ch9&Ch11, Dan-Ch4] Verification & Inference Operational Semantics Axiomatic Semantics Denotational Semantics Verification & Inference Functional Programming [Tuc-Ch8, Dan-Ch7, Lou-Ch11, Sey-Ch12,13, Joh-Ch5] Lambda Calculus, Types, Function Declaration, Expression Evaluations Lisp/Scheme Debug Schedule

7 Overview Logic Programming [Tuc-Ch9, SK-Ch32-34, Seb-Ch16, Kur-Ch6, Dan- Ch8] Logic, Predicates & Horn Prolog: Facts, Variables, Queries Imperative Programming [Tuc-Ch4-6, Seb-Ch5,6,7,8&9, Lou–Ch6-9, Dan-Ch5, Ter-Ch5,6,8-11, Sey-Ch6&7, Joh-Ch6-9, Ben-Ch4-11] Naming & Variables Types, Values, Expressions (Casting, Semantics, Operator Overloading) Selection, Loops, subroutine, coroutine, recursion Memory Management [Tuc-Ch5, Seb-Ch6, SK-Ch21] Overall Structure Methods, Run-time Stack Pointers Arrays, Records Structures Memory Leaks & Garbage Collection Schedule

8 Overview Exception Handling [Tuc-Ch6, SK-Ch21] Techniques Model Object Oriented Programming [Tuc-Ch7, Seb-Ch12, SK- Ch29&31, Dan-Ch6, Sey-Ch8&9, Joh-Ch10-12] Data Abstraction Object Orientation Model Inheritance, polymorphism, Abstract Classes, Late binding Schedule

9 Overview Event Driven [Tuc-Ch10] Foundation Programming Paradigms Applets Concurrent Programming [Tuc-Ch11] Concepts Inter-process Communication Deadlocks, Semaphores, Monitors Synchronization Others Constraint, Aspect-oriented Lazy & Eager Evaluation [SK-Ch3] Closure, Reflection Continuation [SK-Ch15-20] Algorithm & Action Semantics [Kur-Ch12, Ch13] Schedule

10 Overview Class Timings Mon [12:00 – 2PM] – FSM 1.21 Tue [8 – 9AM] – FSM 1.19 Sat [9:00 – 12:00PM] – FSM 1.19 Regularity Slides and Projector usage Assignments [3] – 10% each Final 3 Hours Exam – 70% CO 3225

11 Overview WeekChapters 1Introduction, Overview 2Data Types, Design Principles 3Syntax Analysis 4 5Semantics 6Semantics, HW #1 7Functional Languages WeekChapters 8Functional Languages, HW #2 9Logical Languages 10Logical Languages, HW #3 11Imperative Languages 12Imperative Languages 13OOP 14OOP Weekly Schedule

12 Overview Tell me if you don’t understand Tell me if I am too fast or too slow Tell me if you are unhappy with the course Tell me before or after the lecture, during exercises, in my office, in the corridors, in the coffee room, by , … Before We Get Started