Skip to Main content Skip to Navigation
Other publications


Fabrice Kordon 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : The objective of this article is to provide a summary of Ada in its current state (2017). After a brief presentation of the original way it was created and of its history, we focus on its main characteristics: a flexible typing mechanism that can be configured (especially for numeric representations), a built-in smart compilation mechanism, a concurrency model( mainly thread-oriented, but also usable for distributed computing thanks to the annex E), a genericity model (which inspired the one of Java), and an object model.
Complete list of metadata
Contributor : Fabrice Kordon <>
Submitted on : Friday, September 8, 2017 - 10:53:34 AM
Last modification on : Thursday, February 18, 2021 - 9:48:02 AM


  • HAL Id : hal-01583978, version 1


Fabrice Kordon. Ada. 2017. ⟨hal-01583978⟩



Record views