PL Seminar, July 22, 1999

[Thomas Reps <reps@xxxxxxxxxxx>]

-N PL Seminar
-S Thomas Reps
-F UW\*-Madison
-T Static Analysis for Software-Engineering Tools: Problems and Opportunities
-D 7/22/99
-W Thursday
-M 4:00 PM
-P 2310 CS
-A
.pp
In early August 1999, the University of Washington and Microsoft Research
will be holding a workshop on
.q "Technologies to Improve Software Development",
covering static analysis, dynamic analysis, model checking, and testing.
This talk is a practice run-through of an invited talk to be given at
the workshop.  The talk is supposed to survey the
.q "state of research"
in the area of static analysis of programs.
Some background will be assumed (e.g., some familiarity with
dataflow analysis at the level covered in, say, Aho, Sethi, and Ullman
or other standard compiler textbooks).