Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

denotational semantics

Journey of a Molecular Detective; David Sherratt

Greetings to the participants at “Strachey 100”

The logician Dana Scott played a crucial part in the story of denotational semantics, working for a term with Christopher Strachey in Autumn 1969, when he created a mathematical model for the foundation of the method.
Journey of a Molecular Detective; David Sherratt

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.
Journey of a Molecular Detective; David Sherratt

SIS, a semantics implementation system

During Peter’s DPhil studies, supervised by Christopher Strachey, he developed a prototype of a system for executing programs based on their denotational semantics.
Journey of a Molecular Detective; David Sherratt

Strachey and the Oxford Programming Research Group

Christopher Strachey’s right-hand man at Oxford talks about Strachey’s time as the head of the Programming Research Group (PRG).

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
'Oxford Podcasts' Twitter Account @oxfordpodcasts | MediaPub Publishing Portal for Oxford Podcast Contributors | Upcoming Talks in Oxford | © 2011-2022 The University of Oxford