Bug#617551: ITP: spark -- SPARK programming language tools

2011-03-10 Thread Євгеній Мещеряков
10 березня 2011 о 09:48 +0100 Bernhard R. Link написав(-ла): > * Євгеній Мещеряков [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 la

Bug#617551: ITP: spark -- SPARK programming language tools

2011-03-10 Thread Bernhard R. Link
* Євгеній Мещеряков [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 deve

Bug#617551: ITP: spark -- SPARK programming language tools

2011-03-09 Thread 'Eugeniy Meshcheryakov'
9 березня 2011 о 18:49 + Florian Schanda написав(-ла): > I would say "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." > > And then also say: "To compile SPARK programs use a

Bug#617551: ITP: spark -- SPARK programming language tools

2011-03-09 Thread Florian Schanda
Євгеній Мещеряков wrote: > 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

Bug#617551: ITP: spark -- SPARK programming language tools

2011-03-09 Thread Євгеній Мещеряков
Package: wnpp Severity: wishlist Owner: "Євгеній Мещеряков" * Package name: spark Version : spark-gpl-2010-SMT * URL : http://libre.adacore.com/libre/tools/spark-gpl-edition/ * License : GPL3+ Programming Lang: Ada, Prolog, C++ Description : SPARK program