- 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 2, 2015
AdaCore President Robert B. K. Dewar (1945-2015)
- Wednesday May 6, 2015
AdaCore Releases CodePeer 3.0
In the Press
- Will MY Car be Hacker Proof?
John Day's Automotive Electronics | Apr 23, 2015
- COTS software challenges in the military electronics market
Military Embedded Systems | Apr 13, 2015
Jul 13-15, 2015
– Liverpool, UK
UK Space Conference 2015
Jul 20-24, 2015
– LAquila, Italy
International Conference on Model Transformation 2015