[PL-sem-jr] Schedule

[Richard Cobbe]

PL Seminar, Jr.
Monday, October 25, 2004
WVH 166
12:30 - 2:30 (bring your lunch!)

Today, we will discuss Chapter 1 of _Principles of Program Analysis_,
which provides an overview of four different methods of static analysis:
data flow analysis, constraint-based analysis, abstract interpretation,
and type and effect systems.

Upcoming events:
----------------
    Dave Herman will present a talk on higher-rank polymorphism on
    Monday, November 1.

    The full schedule is available at
    <https://cgi.ccs.neu.edu/home/dherman/wiki.cgi?PlSeminarJr>.

See you there,

Richard