CP2003 - Principles of Programming languages
(Second Semester - 1999)

Contents

Chapter 1 - Introduction

• What is a Programming Language?
• What is this Subject About?
• Computer Language Levels
• Programming Paradigms

Chapter 2 - Values

• Values
• Types
• Primitive Types
• Composite Types
• Recursive Types
• Type Systems
• Expressions

Chapter 3 - Storage

• The Model of Storage
• Handling of Composite Variables
• Storage Model
• Heap vs. Stack
• Dead Objects
• Persistent Variables
• Commands

Chapter 4 - Bindings

• Names
• Name Spaces
• Bindings
• Environments
• Declarations
• Scope of Declarations and Blocks

Chapter 5 - Abstraction

• Abstraction
• Function Abstraction
• Procedure Abstraction
• Passing Parameters
• Evaluation Order

Chapter 6 - Encapsulation

• Packages
• Abstract Types
• Objects and Classes
• Generic Abstractions

Chapter 7 - Type Systems

• Type Systems
• Monomorphism
• Overloading
• Polymorphism
• Type Inference
• Type Coercion
• Inheritance

Chapter 8 - Sequencers

• Sequencers
• Jumps
• Escape

Chapter 9 - Concurrency

• Concurrency
• Programs and Processes
• Problems with Concurrency
• Process interactions
• Structured Concurrent Programming

Chapter 10 - Imperative Programming Paradigm

• Imperative Paradigm
• Case Study - Pascal
• Case Study - C

Chapter 12 - The Object-Oriented Paradigm

• OO Paradigm

Chapter 14 - The Logic Programming Paradigm

• Logic Programming
• Case Study - Prolog

Chapter 13 - The Functional Programming Paradigm

• Functional Programming
• Case Study --Scheme (optional)
• Supplementary Notes