Skip to main content
Home

Main navigation

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

Main navigation

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

SIS, a semantics implementation system

Series
Strachey 100: an Oxford Computing Pioneer
Embed
During Peter’s DPhil studies, supervised by Christopher Strachey, he developed a prototype of a system for executing programs based on their denotational semantics.
It involved partial evaluation of lambda-notation, implemented using Wadsworth's call-by-need algorithm. He continued the development of the system as a postdoc at Oxford, and subsequently at Aarhus, Denmark. The system was called SIS: Semantics Implementation System.
In this talk, Peter recalls Strachey's influence on his research and on the development of SIS, starting from Strachey’s summer school course on symbolic computation at the PRG in 1969.


Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Peter Mosses
Keywords
History of computing
denotational semantics
compilers
programming languages
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:29:30

Subscribe

Download

Strachey and the development of CPL

Series
Strachey 100: an Oxford Computing Pioneer
Embed
Chrisopher Strachey was the most significant contributor to the design and implementation of the programming language CPL.
At the time there was little understanding of the complexities of computer language design and how type systems could cope with lists and the kinds of structures needed to represent, for instance, parse trees. The CPL project cannot be regarded as being successful since it did not result in a usable CPL compiler. The reasons being that the language became too large and complicated, there were insufficient people to implement the compiler and, in the middle of the three year project, all work had to be transferred from Edsac 2 to Titan, a newly designed version of the Ferranti Atlas computer which as yet had no operating system. Even so, we can be proud of the work that went into CPL and its influence on the design of many later languages.

Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Martin Richards
Keywords
programming languages
CPL
History of computing
cambridge university
compilers
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:34:50

Subscribe

Download

Strachey and the Oxford Programming Research Group

Series
Strachey 100: an Oxford Computing Pioneer
Embed
Christopher Strachey’s right-hand man at Oxford talks about Strachey’s time as the head of the Programming Research Group (PRG).
The talk covers the foundation of the PRG and the research performed at the (PRG), with an emphasis on the equal importance of theoretical and practical work.




Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Joe Stoy
Keywords
History of computing
denotational semantics
programming languages
operating systems
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:33:45

Subscribe

Download

Strachey: the Bloomsbury Years

Series
Strachey 100: an Oxford Computing Pioneer
Embed
A historian’s perspective on the earlier years of Christopher Strachey’s life. The talk covers his familial connections, his early career as a school master, and his first computing projects.

Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Martin Campbell-Kelly
Keywords
History of computing
Bloomsbury group
National Research Development Corporation
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:34:40

Subscribe

Download

Strachey 100: an Oxford Computing Pioneer

Image
Radcliffe Camera roof against blue sky, with Oxford banner above
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 also spent time writing complex programs and puzzles for various computers, such as a draughts playing program for the Pilot ACE in 1951. He developed some fundamental concepts of machine-independent operating systems, including an early suggestion for time-sharing, and was a prime mover in the influential CPL programming language. Strachey came from a notable family of intellectuals and artists, perhaps most famous for Christopher’s uncle Lytton, a writer and member of the Bloomsbury group.

We marked the occasion of 100 years since Christopher Strachey's birth on Saturday 19th November 2016, three days after his birthday, with a symposium of invited speakers. The morning looked back at Strachey’s life and works from a historical and technical perspective, and the afternoon concerned continuing research themes in Computer Science inspired by Strachey, at Oxford and elsewhere. This podcast series has recordings of these talks.

Subscribe

Exploring Sicilian Epigraphy

Series
TORCH | The Oxford Research Centre in the Humanities
Embed
Sicilian schools study and research epigraphy in their museums.
Creative Commons Licence
Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK (BY-NC-SA): England & Wales; https://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Episode Information

Series
TORCH | The Oxford Research Centre in the Humanities
People
Kirsten Shepherd-Barr
Andrew Fairweather-Tall
Keywords
schools
trip
research
studying
epigraphy
Department: The Oxford Research Centre in the Humanities (TORCH)
Date Added: 23/06/2017
Duration: 00:05:29

Subscribe

Download

Italian Stories in Britain

Series
TORCH | The Oxford Research Centre in the Humanities
Embed
A project about talking to Italian communities in Britain and finding out what stories there are.
Creative Commons Licence
Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK (BY-NC-SA): England & Wales; https://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Episode Information

Series
TORCH | The Oxford Research Centre in the Humanities
People
Kirsten Shepherd-Barr
Matthew Reza
Keywords
italy
stories
people
questions
talking
Department: The Oxford Research Centre in the Humanities (TORCH)
Date Added: 23/06/2017
Duration: 00:04:55

Subscribe

Download

Unsilencing the library: An exhibition at Compton Verney

Series
TORCH | The Oxford Research Centre in the Humanities
Embed
Research into how books make us feel.
Creative Commons Licence
Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK (BY-NC-SA): England & Wales; https://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Episode Information

Series
TORCH | The Oxford Research Centre in the Humanities
People
Kirsten Shepherd-Barr
Sophie Ratcliffe
Steven Parissien
Keywords
books
detective
stories
story
Department: The Oxford Research Centre in the Humanities (TORCH)
Date Added: 23/06/2017
Duration: 00:09:39

Subscribe

Download

Recreating the music of an ancient Greek chorus: Euripides Orestes

Series
TORCH | The Oxford Research Centre in the Humanities
Embed
Research into ancient music.
Creative Commons Licence
Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK (BY-NC-SA): England & Wales; https://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Episode Information

Series
TORCH | The Oxford Research Centre in the Humanities
People
Kirsten Shepherd-Barr
Armand O Angour
Keywords
greece
greek
music
ancient
Department: The Oxford Research Centre in the Humanities (TORCH)
Date Added: 23/06/2017
Duration: 00:09:36

Subscribe

Download

Storming Utopia

Series
TORCH | The Oxford Research Centre in the Humanities
Embed
The director from the Pegasus theatre in Oxford, talks about his upcoming theatre piece.
Creative Commons Licence
Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK (BY-NC-SA): England & Wales; https://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Episode Information

Series
TORCH | The Oxford Research Centre in the Humanities
People
Kirsten Shepherd-Barr
Wes Williams
Keywords
theatre
Plays
acting
actors
set
production
Department: The Oxford Research Centre in the Humanities (TORCH)
Date Added: 23/06/2017
Duration: 00:07:48

Subscribe

Download

Pagination

  • First page
  • Previous page
  • …
  • Page 1852
  • Page 1853
  • Page 1854
  • Page 1855
  • Page 1856
  • Page 1857
  • Page 1858
  • Page 1859
  • Page 1860
  • …
  • Next page
  • Last page

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
  • Login
'Oxford Podcasts' X Account @oxfordpodcasts | Upcoming Talks in Oxford | © 2011-2026 The University of Oxford