BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
ada (15)
implement (10)
compil (6)
system (5)
use (5)

Stem gnat$ (all stems)

33 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.