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