Inria
/
Raweb 2007
Presentation of the Project Gallium
Logo Inria
Gallium
Programming languages, types, compilation and proofs
2007 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
OCamlDuce
Zenon
Alpha-Caml
Menhir
New Results
Type systems
Formal verification of compilers
Program specification and proof
Mechanization of type systems and axiomatic and operational semantics
The Objective Caml system, tools, and extensions
Other results on the implementation of functional programming languages
Contracts and Grants with Industry
The Caml Consortium
ReFLect over Caml
Other Grants and Activities
National initiatives
European 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