→
Seminar

Mechanized semantics : when the machine reasons about its languages

→
    from to
    See also:

    Documents and media

    Program

    Expressions and commands : the semantics of an imperative language
    Xavier Leroy

    -
    Lecture
    Mechanized semantics : when the machine reasons about its languages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Traduttore, traditore : formal verification of a compiler
    Xavier Leroy

    -
    Lecture
    Mechanized semantics : when the machine reasons about its languages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Lambda, the Ultimate Teaching Assistant (Agda Version)
    Philip Wadler

    -
    Seminar
    Mechanized semantics : when the machine reasons about its languages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Compile better : optimizations, static analysis and verification
    Xavier Leroy

    -
    Lecture
    Mechanized semantics : when the machine reasons about its languages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Computer arithmetic and its formalization
    Sylvie Boldo

    -
    Seminar
    Mechanized semantics : when the machine reasons about its languages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Logics for reasoning about programs
    Xavier Leroy

    -
    Lecture
    Mechanized semantics : when the machine reasons about its languages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Formal semantics for JavaScript : the challenges of scaling up
    Alan Schmitt

    -
    Seminar
    Mechanized semantics : when the machine reasons about its languages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Abstract art : static analysis through abstract interpretation
    Xavier Leroy

    -
    Lecture
    Mechanized semantics : when the machine reasons about its languages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Coq separation logic : theory and practice
    Arthur Charguéraud

    -
    Seminar
    Mechanized semantics : when the machine reasons about its languages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Eternity is a long time : divergence, domain theory, coinductive approaches
    Xavier Leroy

    -
    Lecture
    Mechanized semantics : when the machine reasons about its languages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Mechanized abstract interpreters
    David Pichardie

    -
    Seminar
    Mechanized semantics : when the machine reasons about its languages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Functions and types : the semantics of a functional language
    Xavier Leroy

    -
    Lecture
    Mechanized semantics : when the machine reasons about its languages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Understanding and Evolving the Rust Programming Language
    Derek Dreyer

    -
    Seminar
    Mechanized semantics : when the machine reasons about its languages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    What's in a Name? Representing variables and their relationships
    Xavier Leroy

    -
    Seminar
    Mechanized semantics : when the machine reasons about its languages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Coq en Coq ? Mechanizing the logic of a demo assistant
    Xavier Leroy

    -
    Lecture
    Mechanized semantics : when the machine reasons about its languages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    See also

    Lecture related to the seminar: Mechanized semantics : when the machine reasons about its languages
    Xavier Leroy, chair Software Science