Semantic relationships: reducing the separation between practice and theory

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.

You can listen to Semantic relationships: reducing the separation between practice and theory online on Radio and Podcast. Open the player on this page to stream the available audio.

Semantic relationships: reducing the separation between practice and theory is an episode from Strachey 100: an Oxford Computing Pioneer by Oxford University.

This episode is 35:40 long.

This episode was published on Jun 26, 2017.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Strachey 100: an Oxford Computing Pioneer when more episodes are available from the podcast feed.