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

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: