Cette page est plus adaptée à n'importe quel navigateur et respecte la norme ISO-1664 préconisée par la méthode La-Rache.

François Pessaux

 Ma trombine

Enseignement

IN101 : Algorithmique et Programmation
IN102-MPI : Langage C avancé (cours pour les élèves issus de MP2I/MPI)
IN103-MPI : Autour de la logique (cours pour les élèves issus de MP2I/MPI)
IN213 : Principes des langages de programmation et compilation
IN200 : Pré-formation AST (C / Algo)
Exams IN101 : examens IN101 des années passées
Polys : polys en vrac (disponibles en version toujours la plus récente sur le Moodle de chaque cours)

Publications

  • Concepts et sémantique des langages de programmation. 2020.
     
  • Volume 1 : Constructions fonctionnelles et impératives avec OCaml, Python, C et C++.
  • Volume 2 : Constructions modulaires et objet avec OCaml, Python, C++, Ada et Java.
  • Errata.
  • Concepts and Semantics of Programming Languages 2021.
     
  • Volume 1. A Semantical Approach with OCaml and Python.
  • Volume 2 : Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java.
  • Errata (to be released).
  • Interval-Based Simulation of Zélus IVPs using DynIbex.
    Jason Brown, François Pessaux.
    Acta Cybernetica, Special issue for SWIM2019, published 2020/08/19. DOI 10.14232/actacyb.285246
  • Termination Proofs for Recursive Functions in FoCaLiZe.
    Catherine Dubois, François Pessaux.
  • International Symposium on Trends in Functional Programming 2015.  DOI 10.1007/978-3-319-39110-6_8.
  • FoCaLiZe: Inside an F-IDE.
    François Pessaux.
    1st Workshop on Formal Integrated Development Environment (F-IDE 2014), Satellite workshop of ETAPS 2014, Electronic Proceedings in Theoretical in Computer Science 149, pp 64-78. 2014.
  • Another Tutorial for FoCaLiZe: Playing with Proofs.
    Part of the distribution of the FoCaLiZe environment. January 2013.
  • ML Dependency Analysis for Assessors.
    Philippe Ayrault, Vincent Benayoun, Catherine Dubois and François Pessaux.
    SEFM 2012 - Thessaloniki (Greece), October 2012.
  • Development Life-cycle of Critical Software Under FoCaL.
    Philippe Ayrault, Thérèse Hardin and François Pessaux.
    In 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS'08, Istambul, 2008.
    Electron. Notes Theor. Comput. Sci., vol. 243, jul 2009, pp. 15-31.
  • Development of a generic voter under FoCaL.
    Philippe Ayrault, Thérèse Hardin and François Pessaux.
    In TAP2009 - Zurich, July 2009.
  • The FoCaLiZe Reference Manual. 2009-2013.
    Thérèse Hardin, François Pessaux, Damien Doligez, Pierre Weis.
    Part of the distribution of the FoCaLiZe environment.
  • Trusted Software within FoCaL.
    P. Ayrault, M. Carlier, D. Delahaye, C. Dubois, D. Doligez, L. Habib, T. Hardin, M. Jaume, C. Morisset, F. Pessaux, R. Rioboo, P. Weis.
    In C&ESAR 2008 - Trusting Trusted Computing ? - Rennes (France) , December 2008. 
  • Development life cycle of critical software under FoCal.
    Philippe Ayrault, Thérèse Hardin, François Pessaux.
    In 2nd International Workshop on Harnessing Theories for Tool Support in TTSS'08 – Istambul (Turquie) August 2008.
  • PhD report: Détection statique d'exceptions non rattrapées en Objective Caml.
    (Sumary only).
  • Type-based analysis of uncaught exceptions, (journal version)
    Xavier Leroy, François Pessaux.
    To be published in ACM Transactions on Programming Languages and Systems, 2000.
  • Type-based analysis of uncaught exceptions.
    Xavier Leroy, François Pessaux.
    Published in POPL '99. (Available as Postscript letter, Postscript A4, and PDF.) Extendedversion with detailed proves available as a technical report INRIA.
  • OCamlDoom: ML for 3D action games.
    Workshop ML, September 1998, Baltimore (Maryland USA).
  • Ajout d'une conditionnelle dans un système de modules à la Caml  (Adding a conditional construct in a Caml-like module system).
    Journées Francophones des Langages Applicatifs, Janvier 1997, Dolomieux (Isère - FRANCE).
    •

    Autres pages

    Ma page ENSTA.
    Le site de FoCaLiZe et son miroir ENSTA.
    L'errata des volumes 1 & 2 du livre « Concepts et sémantique des langages de programmation » version française.
    Ma page perso.

    Me joindre

         ENSTA ParisTech
         Unité d'Informatique et d'Ingénie Système (U2IS)
         Bureau : R223
         828 boulevard des Maréchaux, 91120 Palaiseau
         Tél: 01 81 87 20 73
         Email: prenom DOT nom AT ensta-paristech.fr
    Décembre 2022