1 / 12

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

CO3225 Programming Language: Theory and Practice Low Aim is a Crime, but not high ambition. 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.

amil
Download Presentation

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

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

  2. 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. • Email: mibuhari@yahoo.com (OR) mibuhari@fos.ubd.edu.bn (OR) mibuhari@gmail.com • 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 Overview

  3. CO 3225 • 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 http://fosel.ubd.edu.bn Overview

  4. Book References • [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 – www.cs.brown.edu/sk/ • [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 Overview

  5. Schedule • 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 Overview

  6. Schedule • 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 Overview

  7. Schedule • 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 Overview

  8. Schedule • 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 Overview

  9. Schedule • 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] Overview

  10. CO 3225 • 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% Overview

  11. Weekly Schedule Overview

  12. Before We Get Started • 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 email, … Overview

More Related