Episode Synopsis "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.
Listen "Semantic relationships: reducing the separation between practice and theory "
More episodes of the podcast Strachey 100: an Oxford Computing Pioneer
- Strachey: the Bloomsbury Years
- Strachey and the Oxford Programming Research Group
- Strachey and the development of CPL
- SIS, a semantics implementation system
- Semantic relationships: reducing the separation between practice and theory
- Strachey: school master, language designer, colleague
- Greetings to the participants at “Strachey 100”
- A modelling language approach to defining mathematical structures via semantics
- Christopher Strachey, First-Class Citizen
- Probabilistic Programming
- Parametric Polymorphism and models of storage
- What are types for?