The Isaac Newton Institute for Mathematical Sciences

Logic and Algorithms

Cook, 2006-02-03: Automatically proving the termination of C programs

[no_frames] [help] [search]

Sound

entire talk as:
[RealAudio 19MB] [MP3 12MB]

Pictures

section 1 section 2 section 3 section 4 section 5 section 6 section 7 section 8 section 9 section 10 section 11 section 12 section 13 section 14 section 15 section 16 section 17 section 18 section 19 section 20 section 21 section 22 section 23 section 24 section 25 section 26 section 27 section 28 section 29 section 30 section 31 section 32 section 33 section 34 section 35 section 36 section 37 section 38 section 39 section 40 section 41 section 42 section 43 section 44 section 45 section 46 section 47 section 48 section 49 section 50 section 51 section 52 section 53 section 54 section 55 section 56 section 57 section 58 section 59 section 60 section 61 section 62 section 63 section 64 section 65 section 66 section 67 section 68 section 69 section 70 section 71 section 72 section 73 section 74 section 75 section 76 section 77 section 78 section 79 section 80 section 81 section 82 section 83 section 84 section 85 section 86 section 87 section 88 section 89 section 90 section 91 section 92 section 93 section 94 section 95 section 96