reminder

[Thomas Reps <reps@xxxxxxxxxxx>]

4:00 pm, 2310 CS
Programming Languages Seminar:  Thomas Reps, UW-Madison, "Static  Analysis  for
   Software-Engineering Tools: Problems and Opportunities"

        In early August  1999,  the  University  of  Washington  and  Microsoft
   Research  will  be  holding  a workshop on "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  "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 text-
   books).