Speaker(s): Tom Hirschowitz (Université de Savoie)
Organiser:
Time: 10/03/2010 13:00-14:00
Location: B53/4025
Abstract
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.