## CS 260 - Advanced Topics in Translation

Spring 2004

#### Course Description

This course will focus on static analysis techniques.
Static analysis techniques are used at compile-time for predicting safe
and computable approximations to the set of values or behaviors arising
dynamically at run-time.
In this course we will discuss following four main approaches to program
analysis: Data Flow Analysis, Constraint Based Analysis,
Abstract Interpretation, Type and Effect Systems.

#### Instructor:

Tevfik Bultan

bultan@cs.ucsb.edu

Office: Eng. I 2123

Phone: x3735

Office Hours: Monday-Wednesday 2:00-3:00PM, Eng. I 2123

#### Class Times and Location:

Monday/Wednesday 11:00-12:50 PHELP 1401

#### Class Webpage:

URL:
http://www.cs.ucsb.edu/~bultan/courses/260/

#### Extra Lecture

** There will be an extra lecture on Tuesday June 1st at 1:00pm
in Engineering I, room 2114 (CS conference room) **
#### Final

I will give the final at the end of the final lecture on
Wednesday June 2nd. You need to turn it in by 5:00pm the
next day.
#### Homeworks

- Homework 1 (due Monday, April 12).
- Homework 2 (
**Extended: due Monday, May 3**)
You are only asked to do **intraprocedural analysis** for this homework.
WHILE language parser:
wl.tar.gz

BUG FIX: There was a bug in the visit procedure of the IfStmt class,
here is the fixed version IfStmt.java

Tests for programming assignment in Homework 2:
e1.wl,
e2.wl,
e3.wl,
e4.wl,
e5.wl.

- Homework 3 (due Friday, May 28)
- Homework 4 (due Wednesday, June 2, BEFORE CLASS)

#### Course Requirements

There will be written homeworks, (possibly) programming assignments,
and (possibly) a take home final.

#### Textbook

Principles of Program Analysis

F. Nielson, H. R. Nielson and C. Hankin

ISBN 3-540-65410-0, Springer-Verlag

URL:
http://www.imm.dtu.dk/~riis/PPA/ppa.html