SPARK是一種安全的、經正式定義的編程語言。它被設計用來支持一些安全或商業集成為關鍵因素的應用軟件的設計。SPARK有基於Ada 83和Ada 95的版本。最新版本RavenSPARK包含了Ravenscar Tasking Profile來支持高度集成應用中的同步。SPARK的正式和明確的定義使得多種靜態分析技術在SPARK源代碼的應用中成為可能。
外部連結
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.