[ stretch ]
[ ソース: spark ]
パッケージ: spark (2012.0.deb-11 など)
SPARK プログラミング言語ツールセット
SPARK は、Ada プログラミング言語を基に形式的に定義されたコンピュータ・ プログラミング言語であり、安全であることと、アプリケーションとシステムで 使われる高整合性ソフトウェアの開発をサポートすることを目的としています。 予測可能で信頼性の高い操作は、安全のためまたはビジネスの整合性のために不 可欠です。
このパッケージには、プログラムが SPARK ルールに準拠していることをチェッ クするために必要なツールと、それらのプログラムで実行時例外の自由度を表示 するためのツールが含まれています。コンパイルするために SPARK プログラム は GNAT のような任意の標準準拠 Ada コンパイラを使用します。
その他の spark 関連パッケージ
|
|
|
|
-
- dep: libc6 (>= 2.14)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libgcc1 (>= 1:3.0)
- GCC 共有ライブラリ
-
- dep: libgmp10 (>= 2:5.0.1+dfsg-7~)
- 多倍長精度演算ライブラリ
-
- dep: libgnat-6 (>= 6.3.0-8)
- runtime for applications compiled with GNAT (shared library)
-
- dep: libstdc++6 (>= 5.2)
- GNU 標準 C++ ライブラリ v3
-
- dep: swi-prolog-nox
- ISO/Edinburgh-style Prolog interpreter (without X support)
-
- dep: swi-prolog-vm-3
- 以下のパッケージによって提供される仮想パッケージです: swi-prolog-nox