SIS, a semantics implementation system

Photograph of Peter Mosses

Peter Mosses

(Swansea University)

In the 1970s, I developed SIS, a system for executing programs based on their denotational semantics. Its implementation involved partial evaluation of lambda-notation. In this talk, I recall the development of SIS, and relate SIS to the tool support for the component-based approach to semantics proposed by the PLanCompS project.
Tuesday 10th January 2017, 11:00
CoFo Seminar Room, Talbot Building, Room 909 (Lower Ground)
Department of Computer Science