Ignore this box please.
More
Settings
Goodies
About
Help
Feedback
PRIVACY
DontTrack
DontBubble
Policy
COMMUNITY
Platform
Forum
Chat
Spread
Search syntax
s:d sort by date
r:uk uk region
site: domain search
\ search first result
More...
r:n turn off region
!a search search amazon
site:uk uk pages
f: find files
t: within title
b: within body
More explanation...
SPARK (programming language)
SPARK is a formally-defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software used in applications and systems where predictable and highly reliable operation is essential either for reasons of safety or for business integrity.
More at Wikipedia
| Official site:
adacore.com
Z notation
Java Modeling Language
More related topics
Extended static checking
Static code analysis
Algol programming language family
Statically typed programming languages
Ada programming language
Programming languages created in the 20th century
Formal specification languages
Concurrent programming languages
Procedural programming languages
This page requires Javascript.Get the non-JS version
here
.
SPARK
adacore.com/home/products/sparkpro/
More results