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.
Greetings to the participants at “Strachey 100”
Loading Video...
In this talk, Dana discusses this period as well as reminiscing about his life and career up to that point.
People:
Oxford Unit:
More in this Series...
Christopher Strachey (1916–1975) was a pioneering computer scientist and the founder of the Programming Research Group, now part of the Department of Computer Science at Oxford University. Although Strachey was keenly interested in the practical aspects of computing, it is in the theoretical side that he most indelibly left his mark, notably by creating with Dana Scott the denotational (or as he called it, ‘mathematical’) approach to defining the semantics of programming languages. Strachey...
Subscribe
Download Media
- Video (151.1 MB)