Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,264,415 papers from all fields of science
Search
Sign In
Create Free Account
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
Create Alert
Alert
Related topics
Related topics
26 relations
Broader (1)
Ada
Autoconf
Comparison of integrated development environments
Compiler
Concurrent 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
Yannick Moy
,
Nicolas Setton
ALET
2015
Corpus ID: 32066228
Let's get started… Being able to quickly query a code base for some simple properties is a valuable capability both during…
Expand
2012
2012
Integrating 8-bit AVR Micro-Controllers in Ada
Pablo Vieira Rego
2012
Corpus ID: 59057509
The increasing popularity of 8-bit AVR micro-controllers for using with robotics and low-complexity embedded applications has…
Expand
Review
2012
Review
2012
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan
Jason Belt
,
Patrice Chalin
,
J. Hatcliff
,
Robby
HILT '12
2012
Corpus ID: 31089607
This tutorial presents a new approach to Spark/Ada contract checking using Bakar Kiasan--a highly automated, evidence-based…
Expand
2009
2009
A robotics API dialect for type-safe robots: translating Myro to Ada
Alexander S. Mentis
SIGAda '09
2009
Corpus ID: 14037571
In this paper, we present an Ada robotics API designed to be used in teaching undergraduate-level computer science. Our API is…
Expand
2005
2005
Experiences using SPARK in an undergraduate CS course
A. Ruocco
SigAda '05
2005
Corpus ID: 8069310
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and…
Expand
2005
2005
Experiences using SPARK in an undergraduate CS course
A. Ruocco
2005
Corpus ID: 62747799
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and…
Expand
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