Learn · The Verifying Compiler: A Grand Challenge for computing research of the 21st
Talk2004-03-18
The Verifying Compiler: A Grand Challenge for computing research of the 21st
Tony Hoare · Gresham College
Credits and licence
- From
- The Verifying Compiler: A Grand Challenge for computing research of the 21st, Gresham College (at Gresham College)
- Licence
- Educational use (Gresham College's terms), as Gresham College states it.
- Attribution
- Gresham College states: "We positively encourage the use of the Gresham College lecture transcripts, audio and video files for educational purposes. However, we do not allow use of Gresham College materials for commercial, personal or institutional gain."
- Who can watch
- Tweens profiles and older. How courses are placed