BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Sound Haskell - Dana N. Xu (University of Cambridge)
DTSTART:20070629T141500Z
DTEND:20070629T151500Z
UID:TALK7644@talks.cam.ac.uk
CONTACT:Viktor Vafeiadis
DESCRIPTION:Program errors are hard to detect and are costly both to progr
 ammers who spend significant efforts in debugging\, and to systems that ar
 e guarded by runtime checks. Static verification techniques have been appl
 ied to imperative and object-oriented languages\, like Java and C#\, but f
 ew have been applied to a higher-order lazy functional language\, like Has
 kell. In this talk\, I will describe a sound and automatic static verifica
 tion tool for Haskell\, that is based on contracts and symbolic execution.
  Our approach gives precise blame assignments at compile-time in the prese
 nce of higher-order functions and laziness.\n
LOCATION:GS15\, Computer Laboratory
END:VEVENT
END:VCALENDAR