GNAT Programming Studio

Known as: GNAT Programming System, GPS (disambiguation) 
GNAT Programming Studio (GPS, formerly known as the GNAT Programming System) is a free multi-language integrated development environment (IDE) by… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Let's get started… Being able to quickly query a code base for some simple properties is a valuable capability both during… (More)
Is this relevant?
2012
2012
The increasing popularity of 8-bit AVR micro-controllers for using with robotics and low-complexity embedded applications has… (More)
  • table 1
  • figure 1
Is this relevant?
Review
2012
Review
2012
This tutorial presents a new approach to Spark/Ada contract checking using Bakar Kiasan--a highly automated, evidence-based… (More)
Is this relevant?
2009
2009
In this paper, we present an Ada robotics API designed to be used in teaching undergraduate-level computer science. Our API is… (More)
  • figure 1
  • figure 2
Is this relevant?
2005
2005
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and… (More)
  • table 1
Is this relevant?