全部搜索项
stretch  ]
[ 源代码: spark  ]

软件包:spark(2012.0.deb-11 以及其他的)

spark 的相关链接

Screenshot

Debian 的资源:

下载源码包 spark

维护者:

外部的资源:

相似软件包:

SPARK programming language toolset

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.

This package contains the tools necessary for checking if programs adhere to the SPARK rules and the tools to show freedom of runtime exceptions in those programs. To compile SPARK programs use any standards-compliant Ada compiler, such as GNAT.

标签: 软件开发: Ada 开发, 实做语言: Ada, 用户接口: interface::commandline, role::program, 处理: 原代码

其他与 spark 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 spark

下载可用于所有硬件架构的
硬件架构 版本 软件包大小 安装后大小 文件
mipsel 2012.0.deb-11+b2 2,304.7 kB11,890.0 kB [文件列表]