Episode Synopsis "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. 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.

Listen "SIS, a semantics implementation system "

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?