- 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
- Security is front and center for developers
SD Times | Jul 29, 2014
- Parallel Programming Languages Enable Safer Systems
COTS Journal | Jul 21, 2014