- 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 Jun 28, 2016
Free Booklet Shows How AdaCore’s Technologies Can Help Railway Software Developers Meet EN 50128 Obj
- Monday Jun 20, 2016
AdaCore Launches “Make with Ada” Programming Competition, with €5000 Top Prize
In the Press
- Are You Up for the Ada Challenge?
Electronic Design | Jun 30, 2016
- 158: Programming is too difficult for humans
Embedded FM | Jun 29, 2016