Home | People | Research Projects | Publications | Techreports | Tools | Vacancies | Seminars
This is now an inactive research group it's members have moved on. You can find them at their new research groups:
Related Links

DSSE:2013 Academic Year Seminars

Speaker(s): Tom Hirschowitz (Université de Savoie)
Time: 10/03/2010 13:00-14:00
Location: B53/4025


As reflected in the slightly provocative title, there is no commonly accepted mathematical notion of a programming language, let alone notions of behavioural equivalence or compilation. More precisely, there is no mathematical framework in which all programming languages live, and even less mathematical tools to reason about them abstractly. Useful such tools could include, e.g., sufficient conditions for a compilation to preserve a notion of behaviour. This talk is an overview of a few attempts at and ideas for improving the situation.

© School of Electronics and Computer Science of the University of Southampton