Bug#617551: ITP: spark -- SPARK programming language tools
* Євгеній Мещеряков <eugen@debian.org> [110309 19:39]:
> Description : SPARK programming language toolset
>
> SPARK is a programming language and a set of software development
> products for high assurance software. The SPARK programming language is
> the only language specifically designed to support the development of
> safety or security critical software. In combination with the SPARK
> toolset, SPARK prevents, detects and eliminates defects early in the
> lifecycle as the source code is developed. It is, effectively, the
> result of applying the principles of Correctness by Construction to the
> design of a programming language and associated verification tools.
I suggest to either replace that or simply remove it. At least I'm not
able to get any information out of it.
> This package contains tools for verification of programs written in
> SPARK. To compile SPARK programs use Ada compiller available in package
> 'gnat'.
s/in SPARK/in the programing language SPARK/ and that says much more
than all the previous marketing blurb.
Bernhard R. Link
Reply to: