Swedish Institute of Computer Science

Introduction

• Introduction to Programming Concepts

General Computation Models

• Declarative Computation Model
• Declarative Programming Techniques
• Declarative Concurrency
• Message-Passing Concurrency
• Explicit State
• Object-Oriented Programming
• Shared-State Concurrency
• Relational Programming

Specialized Computation Models

• Graphical User Interface Programming
• Distributed Programming
• Constraint Programming

Semantics

• Language Semantics

Appendices

• Mozart System Development Environment
• Basic Data Types
• Language Syntax
• General Computation Model

Concepts, Techniques, and Models of Computer Programming. Peter Van Roy; Seif Haridi. Swedish Institute of Computer Science. www.info.ucl.ac.be . Jun 5, 2003.