Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

26 relations

Broader (1)

Ada
AutoconfComparison of integrated development environmentsCompilerConcurrent Versions System
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Gem #124: Scripting GPS for Static Analysis
Let's get started… Being able to quickly query a code base for some simple properties is a valuable capability both during… Expand
Is this relevant?
2012
2012
Integrating 8-bit AVR Micro-Controllers in Ada
The increasing popularity of 8-bit AVR micro-controllers for using with robotics and low-complexity embedded applications has… Expand
  • table 1
  • figure 1
Is this relevant?
Review
2012
Review
2012
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan
This tutorial presents a new approach to Spark/Ada contract checking using Bakar Kiasan--a highly automated, evidence-based… Expand
Is this relevant?
2009
2009
A robotics API dialect for type-safe robots: translating Myro to Ada
In this paper, we present an Ada robotics API designed to be used in teaching undergraduate-level computer science. Our API is… Expand
  • figure 1
  • figure 2
Is this relevant?
2005
2005
Experiences using SPARK in an undergraduate CS course
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and… Expand
Is this relevant?
2005
2005
Experiences using SPARK in an undergraduate CS course
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and… Expand
  • table 1
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE