| skip to navigation | skip to content |
Find Lecture:

The Verifying Compiler: A Grand Challenge for computing research of the 21st

Speaker(s):   Tony Hoare

Date/Time:  18/03/2004

Venue:  Barnard’s Inn Hall

Transcript

 

Print Transcript

Download Files

  1. Right-click the link(s) below and select "Save As..." (or equivalent)
  2. Choose where you wish to save the file from the dialog box that appears, and click "Save"

Lecture video

RealPlayer is required to view the following video. If you experience any problems viewing this clip, try the standalone RealPlayer.


Click on the link below to start downloading the video of this lecture.

Lecture audio

RealPlayer is required to listen to the following audio. If you experience any problems listening to this clip, try the standalone RealPlayer.


Click on the link below to start downloading the audio of this lecture.

Barnard's Inn Hall