- ASIS-for-GNAT Reference Manual »
This Manual contains reference material for developers using ASIS-for-GNAT -- GNAT Pro's implementation of the Ada Semantic Interface Specification (ASIS). It provides information about ASIS-for-GNAT's implementation-specific(1) characteristics and current implementation limitations.
- ASIS-for-GNAT User’s Guide »
This guide has two aims. The first one is to introduce you to the Ada Semantic Interface Specification (ASIS) and show you how you can build various useful tools on top of ASIS. The second is to describe the ASIS implementation for the GNAT Pro Ada compiler.
- Tuesday Sep 20, 2016
AdaCore and Altran to sponsor High Integrity Software Conference
- Tuesday Jul 19, 2016
Ada on Board: GNAT Pro Helps ExoMars Get to the Red Planet
In the Press
- Building trust in a model-based automatic code generator
Embedded Computing Design | Aug 17, 2016
- Ada Driver Library for ARM Cortex-M/R - Part 1
ARM Connected Community | Jul 8, 2016