Inria
/
Raweb 2008
Presentation of the Project Gallium
Logo Inria
Gallium
Programming languages, types, compilation and proofs
2008 Research Team Activity Report
Paris - Rocquencourt
Theme :
SYM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Programming languages: design, formalization, implementation
Type systems
Compilation
Interface with formal methods
Application Domains
Software safety and security
Processing of complex structured data
Fast development
Teaching programming
Software
Objective Caml
CompCert C
Zenon
Menhir
New Results
Type systems
Module systems
Formal verification of compilers
Program specification and proof
The Objective Caml system and extensions
Contracts and Grants with Industry
The Caml Consortium
ReFLect over Caml
Other Grants and Activities
National initiatives
Dissemination
Interaction with the scientific community
Teaching
Participation in conferences and seminars
Other dissemination activities
Bibliography
Major publications
Publications of the year
References in notes
