Over 4000 free audio and video lectures, seminars and teaching resources from Oxford University.
Skip to Content Skip to Navigation

Thank you for visiting! Please consider filling out our questionnaire. This will help us improve our service providing free educational media recorded from the University of Oxford. Many thanks!

Click here to access the survey (3 minutes to complete).

Semantic relationships: reducing the separation between practice and theory

Loading Video...
Duration: 0:35:40 | Added: 26 Jun 2017
Christopher Strachey believed that the gap between theory and practice was impeding the development of computing science.

In Robert’s talk, he considers how the work he did with Strachey on the essay that ultimately became their book tried to narrow the gap, by formalising, and reasoning about, the implementation concepts for programming languages. A particular focus will be the proof techniques for imperative programs that use storage, which were implicit, but not very easy to discern, in the book.

Copy and paste this HTML snippet to embed the audio or video on your site: