Syllabus for UCLA Computer Science 131

Texts

A new edition of Sebesta is required for Fall 2003; earlier editions are missing some modern topics.

Required texts

• Robert W. Sebesta, Concepts of Programming Languages, 6th edition, Addison-Wesley, ISBN 0-321-19362-8 (2003-07-24).
• David Beazley, Python Essential Reference, 2nd edition, New Riders, ISBN 0735710910 (2001-06-07).

Optional text

• Mark Lutz and David Ascher, Learning Python, O'Reilly & Associates, ISBN 1-56592-464-9 (1999-04).

Topics

Language design issues

• efficiency, safety, convenience
• programming categories
  • procedural
  • functional
  • object-oriented
  • declarative
  • scripting
• scaling problems
• history and evolution of programming languages

functions

• motivation
• recursion and tail recursion
• activation records
• functions as data
• closures
• debugging via divide and conquer
• persistence
• amortized efficiency

syntax

• tokenization
• grammars

names

• names, binding, visibility, scope, lifetime
• static vs dynamic scope

types

• type, values, operations
• type checking and conversion
• elementary and structured types
• explicit vs implicit storage management
• stack vs heap

control

• expression evaluation
• rewrite rules
• pattern matching, unification, and backtracking
• structured programs

objects

• object-oriented design
• encapsulation and data abstraction
• separating behavior from implementation
• classes and class hierarchies
• inheritance
• polymorphism
• collections and iteration

exceptions

• design issues
• when not to use exceptions
• case study: exceptions in Java

concurrency

• competition and cooperation
• synchronization
• case study: multithreading in Java

semantics

• lambda calculus
• program verification

Language paradigms

Scheme

• syntax
• lists
• comparison (e.g., eq? vs equal?)
• syntactic forms: core and extension
• let and lambda
• definitions
• conditionals
• recursion and tail recursion
• continuations

Prolog

• propositional logic
• predicate calculus: instantiation, atoms, variables, structures
• clausal form and Horn clauses
• the resolution principle
• depth-first backward chaining with backtracking
• debugging
• memory management
• the closed world assumption

Java

• primitive and reference types
• classes and instances
• variables, methods, constructors, and overloading
• inheritance, abstract classes, final classes, and interfaces
• compilation units, packages and visibility
• the Object class
• Java class library basics
• collections
• exceptions
• threads

Python

• the Python shell
• scripting
• functional and object-oriented programming
• modules and packages
• Python library basics
• extending and embedding