Project-Team Gallium
Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

up Home | Next next

2016 Project-Team Activity Report
GALLIUM
Programming languages, types, compilation and proofs
Research centre: Paris

Field: Algorithmics, Programming, Software and Architecture
Theme: Proofs and Verification
Keywords:
Computer Science and Digital Science:
  • 1.1.3. - Memory models
  • 2.1.1. - Semantics of programming languages
  • 2.1.2. - Object-oriented programming
  • 2.1.3. - Functional programming
  • 2.1.6. - Concurrent programming
  • 2.1.11. - Proof languages
  • 2.2.1. - Static analysis
  • 2.2.2. - Memory models
  • 2.2.3. - Run-time systems
  • 2.2.4. - Parallel architectures
  • 2.4.1. - Analysis
  • 2.4.3. - Proofs
  • 2.5.4. - Software Maintenance & Evolution
  • 4.5. - Formal methods for security
  • 7.1. - Parallel and distributed algorithms
  • 7.4. - Logic in Computer Science
Other Research Topics and Application Domains:
  • 5.2.3. - Aviation
  • 6.1. - Software industry
  • 6.3.1. - Web
  • 6.5. - Information systems
  • 6.6. - Embedded systems
  • 9.4.1. - Computer science