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 metadatas
Contributor : Fabrice Kordon <>
Submitted on : Friday, September 8, 2017 - 10:53:34 AM
Last modification on : Thursday, March 21, 2019 - 1:04:23 PM


  • HAL Id : hal-01583978, version 1


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



Record views