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 - Paris 2 rue Simone Iff (ou: 41 rue du Charolais) Salle Lions 1, bâtiment C Lundi 4 juillet, 10h30 ------------------ Arthur Charguéraud ------------------ Inria =========================================== Interactive execution of a formal semantics =========================================== In previous work, we built a formal semantics for JavaScript. This semantics is faithful to the standard (EcmaScript, version 5), and can be executed on test programs. In this talk, I will describe ongoing efforts for making such a formal semantics more likely to be eventually adopted as the reference semantics by the JavaScript committee. I will present the details of the functional semantics that we set up, and describe a tool for executing this semantics. Our tool is an interactive debugger that supports step-by-step execution of the specification on concrete programs. Compared with a traditional debugger, our debugger is specialized for interpreters: it allows to visualize not only the complete state of the interpreter program but also the complete state of the interpreted program. Moreover, it supports arbitrary breakpoint conditions constraining the interpreter program and/or the interpreted program.