Vous pouvez vous abonner à nos annonces de séminaires http://gallium.inria.fr/seminaires/ S E M I N A I R E __ / _` _ / / o /| /| __ __ __ __ _ _ / ) __) / / / / / /\/| ----- / |/ | / )(_ / / ) ) ) __) (___/ (_/ (_ (_ / (__/ / | / | (__/ __)(_ (__/ (_/ (_/ I N R I A - Rocquencourt Salle de conférences du bâtiment 8 JEUDI 19 décembre, 10h30 ------------ Olin Shivers ------------ Northeastern University =================================================================== 3CPS: An intermediate representation for a lambda-calculus compiler =================================================================== I will describe how recent work I've done with my students on PDA-based higher-order flow analysis, and (oddly enough) LR parser generators have led to a proposal for a compiler IR, and an associated view of the program-optimisation process. This is early work, so there will be plenty in the way of persuasive propaganda, and very little in the way of theorems and experimental data; suggestions and comments welcomed. Organiser's note: Please note the unusual day of the week (THURSDAY) and room (building 8).