33 papers:
HILT-2012-Kanig #ada #testing #verification- Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve — the hi-lite project (JK), pp. 5–6.
- HILT-2012-Kirtchev #compilation #implementation #performance #robust
- A new robust and efficient implementation of controlled types in the GNAT compiler (HHK), pp. 43–50.
AdaEurope-2009-RivasHR #ada #implementation- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT (MAR, MGH, JFR), pp. 105–118.
SIGAda-2008-GiccaB #question- GNAT BoF: where would you like to see GNAT go? (GG, BMB), pp. 139–140.
- AdaEurope-2007-RivasR #ada #implementation #realtime
- Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT (MAR, JFR), pp. 29–40.
- SIGAda-2007-Dewar07a #named #question
- Birds-of-a-feather: where would you like to see GNAT go? (RD), pp. 97–98.
- AdaEurope-2006-MirandaS #c++ #interface
- Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ (JM, ES), pp. 179–190.
- AdaEurope-2005-MirandaSD #ada #compilation #implementation #interface
- The Implementation of Ada 2005 Interface Types in the GNAT Compiler (JM, ES, GD), pp. 208–219.
- AdaEurope-2005-Ruiz
- GNAT Pro for On-board Mission-Critical Space Applications (JFR), pp. 248–259.
- SIGAda-2005-MirandaSK #ada #compilation #implementation #interface
- The implementation of ada 2005 synchronized interfaces in the GNAT compiler (JM, ES, HHK), pp. 41–48.
- SIGAda-2004-MirandaS #ada #named
- GNAT: on the road to Ada 2005 (JM, ES), pp. 51–60.
- AdaEurope-2003-AlvesJH #ada #xml
- The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project (MAA, AJ, MH), pp. 196–207.
- AdaEurope-2003-BliebergerB #evaluation #symbolic computation #using
- Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation (JB, BB), pp. 153–167.
VLDB-2002-Vingralek #database #named- GnatDb: A Small-Footprint, Secure Database System (RV), pp. 884–893.
- Ada-2002-BarrM #ada #embedded #named #open source #operating system #safety
- Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT) (VB, SM), pp. 53–66.
- AdaEurope-2002-Erdmann #ada #database #development
- GNAT Ada Database Development Environment (ME), pp. 334–343.
- AdaEurope-2002-GonzalezSMMG #ada #how
- How to Use GNAT to Efficiently Preprocess New Ada Sentences (FJMG, FGS, EM, JM, AG), pp. 179–192.
- AdaEurope-2002-ParkinsonG #composition #development #using
- High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT (PP, FG), pp. 163–178.
- AdaEurope-2001-VardanegaGP #migration
- An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK (TV, RG, JAdlP), pp. 392–404.
- AdaEurope-2000-CloshenH #ada #implementation #programming #using
- An Ada95 Programming Style Checker Using the GNAT ASIS Implementation (PC, HJH), pp. 149–160.
- AdaEurope-2000-PuenteRZ #kernel #realtime
- An Open Ravenscar Real-Time Kernel for GNAT (JAdlP, JFR, JZ), pp. 5–15.
- AdaEurope-2000-RybinSFK #case study #experience #named
- ASIS-for-GNAT: A Report of Practical Experiences (SR, AS, VF, AK), pp. 125–137.
- AdaEurope-1999-MirandaGMG #ada #empirical #how
- How to Modify the GNAT Frontend tp Experiment with Ada Extensions (FJMG, FGS, JM, AG), pp. 226–237.
- AdaEurope-1999-RuizG #implementation #low level #runtime
- Implementing a New Low-Level Tasking Support for the GNAT Runtime System (JFR, JMGB), pp. 298–307.
- AdaEurope-1998-MilletB #java #migration #runtime #virtual machine
- Porting the GNAT Tasking Runtime System to the Java Virtual Machine (LM, TB), pp. 19–28.
- TRI-Ada-1997-ComarDG #java #virtual machine
- Targeting GNAT to the Java Virtual Machine (CC, GD, FG), pp. 149–161.
- AdaEurope-1996-RybinSKF #implementation #prototype
- ASIS for GNAT: From the Prototype to the Full Implementation (SR, AS, AK, VF), pp. 298–311.
- AdaEurope-1995-RybinSZ #implementation #problem
- ASIS for GNAT: Goals, Problems and Implementation Strategy (SR, AS, EZ), pp. 139–151.
- TRI-Ada-1994-ComarP #ada #implementation
- Ada 9X Tagged Types and Their Implementation in GNAT (CC, BP), pp. 71–81.
- TRI-Ada-1994-Dewar #compilation
- The GNAT Compilation Model (RD), pp. 58–70.
- TRI-Ada-1994-GasperoniB #compilation
- Smart Recompilation and the GNAT Compiler (FG, PB), pp. 104–111.
- TRI-Ada-1994-Kenner
- Integrating GNAT and GCC (RK), pp. 84–92.
- TRI-Ada-1994-SchonbergB #compilation
- The GNAT Project: A GNU-Ada 9X Compiler (ES, BB), pp. 48–57.
