CSC 3112 Principles of
Programming Languages
Introduction
10th September 2015
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Guidelines and tips
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Community
Ask the community
Ask the community for help and clear up your study doubts
University Rankings
Discover the best universities in your country according to Docsity users
Free resources
Our save-the-student-ebooks!
Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors
Introduction to Principles of Programming
Typology: Lecture notes
2015/2016
1 / 12
This page cannot be seen from the preview
Don't miss anything!
Partial preview of the text
Download Introdcution and more Lecture notes Aeronautical Engineering in PDF only on Docsity!
CSC 3112 Principles of
Programming Languages
Introduction 10 th September 2015
Outline
- (^) Email: kenneth.bwire@gmail.com
- (^) Office: Block A, Room 301B
- (^) Lecture Hours: Monday, Tuesdays & Thursdays
- (^) Student Hours: Thursday 2-4pm
2. Learning Outcome
• By the end of the course, we will
be able to:
- Understand common language
paradigms
- Know the different building blocks
of a programming language
- Know how the different blocks of a
programming language interact
3. Prerequisites
- (^) Programming Methodology I & II
- (^) Automata, Complexity and Computability
5. Indicative Content
- (^) Overview of programming language paradigms
- (^) Common principles: syntax, syntax trees, formal semantics (denotational and operational), variables and binding
- (^) Types: role of types in programming and programming languages, types and their operations: products, sums, functions, recursive types, reference and array types
- (^) Primarily imperative issues: control flow, arrays, pointers and references, parameter- passing mechanisms, scoping
- Indicative Content cont...
- (^) Type systems: strongly typed languages, type checking (static vs. dynamic), type equivalence (by name vs. structural), overloading, coercion, polymorphism, type inference
- (^) Binding: declarations and environments. Block structure: scope and visibility, stack discipline. Bound occurrences: static vs. dynamic binding
- (^) Encapsulation: information hiding, modules, abstract data types, classes
- (^) Language implementation: parsing, code generation, garbage collection
7. Reading List
- (^) Concepts of Programming Languages by Robert Sebesta, 10th Edition, 2012
- Daniel P. Friedman and Mitchell Wand, Essentials of Programming Languages, 5th Edition, MIT Press, 2001
- Principles of Programming Languages by Gilles Dowek , Springer 2009
- Principles of Programming Languages by Pradnya Kashikar, Nilesh M. Magar
- Principles of Programming Languages: Design, Evaluation, and Implementation by Bruce J. MacLennan
- Principles of Programming Languages version 0.7 by Mike Grant, Zachary Palmer and Scott Smith
8. Class Rules
- (^) No Plagiarism. Xeroxing will earn you a penalty
- (^) Handin assignments within given timeframe.