|
1 |
|
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. |
Dana Scott |
26 Jun 2017 |
|
2 |
|
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. |
Robert Milne |
26 Jun 2017 |
|
3 |
|
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. |
Peter Mosses |
26 Jun 2017 |
|
4 |
|
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). |
Joe Stoy |
26 Jun 2017 |
