Inria
/
Raweb 2006
Presentation of the Project Gallium
Logo Inria
Gallium
Programming languages, types, compilation and proofs
2006 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
CDuce
OCamlDuce
XStream
Zenon
Alpha-Caml
Menhir
Cameleon
New Results
Type systems
Formal verification of compilers
Mechanized semantics
Software-proof codesign
Meta-programming
XML transformation languages
The Objective Caml system, tools, and extensions
Formal management of software dependencies
Contracts and Grants with Industry
The Caml Consortium
ReFLect
Other Grants and Activities
National initiatives
European initiatives
Dissemination
Interaction with the scientific community
Teaching
Participation in conferences and seminars
Bibliography
Major publications
Publications of the year
References in notes
