Proving program termination

Add to your list(s) Download to your calendar using vCal

• Byron Cook, Microsoft Research, Cambridge
• Thursday 04 October 2007, 10:00-12:00
• Computer Laboratory, Room FW11.

If you have a question about this talk, please contact Sam Staton.

This talk has been canceled/deleted

This course will survey both old and recently discovered techniques for proving that programs terminate.

This talk is part of the Mini Courses in Theoretical Computer Science series.

This talk is included in these lists:

This talk is not included in any other list

Note that ex-directory lists are not shown.