Skip to search formSkip to main contentSkip to account menu

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… 
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… 
2012
2012
The increasing popularity of 8-bit AVR micro-controllers for using with robotics and low-complexity embedded applications has… 
Review
2012
Review
2012
This tutorial presents a new approach to Spark/Ada contract checking using Bakar Kiasan--a highly automated, evidence-based… 
2009
2009
In this paper, we present an Ada robotics API designed to be used in teaching undergraduate-level computer science. Our API is… 
2005
2005
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and… 
2005
2005
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and…