- 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.
- Thursday Jul 24, 2014
AdaCore Releases GNAT GPL for Bare Board ARM
- Wednesday May 28, 2014
SmartWard Pty Ltd Selects AdaCore Tools for Hospital Information System Development
In the Press
- Interview With Richard Kenner of AdaCore
LXer | Sep 4, 2014
- Safe and secure object-oriented programming with Ada 2012’s contracts
Embedded.com | Aug 14, 2014