Package: spark (2011.0.deb-5)

[ Source: 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.

Tags: Software Development: Ada Development, Implemented in: Ada, User Interface: interface::commandline, role::program, Works with: Source Code

Other Packages Related to spark

• dep: libc6 (>= 2.4)

  bibliothèque C GNU embarquée : bibliothèques partagées
  also a virtual package provided by libc6-udeb

• dep: libgcc1 (>= 1:4.1.1)

  Bibliothèque de support GCC

• dep: libgmp10

  Bibliothèque arithmétique à multi-précision

• dep: libgnat-4.6 (>= 4.6.1-6)

  runtime for applications compiled with GNAT (shared library)

• dep: libstdc++6 (>= 4.4.0)

  bibliothèque standard C++ de GNU v3

• dep: swi-prolog-nox (>= 5.10.4~)

  ISO/Edinburgh-style Prolog interpreter (without X support)

• sug: alt-ergo

  prouveur de théorème automatique dédié à la vérification de programme

• sug: gnat

  GNU Ada compiler

Download spark

Download for all available architectures

Architecture	Package Size	Installed Size	Files
mips	2,335.6 kB	7,321.0 kB	[list of files]