SPARK is based on the Ada programmi

SPARK is based on the Ada programming language. S PARK ’s designers selected a
restricted, well-defined, unambiguous subset of the Ada language to eliminate features
that cannot be statically analyzed. They extended the language with a set of assertions to
support modular, formal verification.

0/5000

Источник: -

Цель: -

Результаты (русский) 1: [копия]

Скопировано!

SPARK основан на Ada языка программирования. Дизайнеры S PARK выбранограничены, четкие, недвусмысленные подмножество языка Ada для устранения возможностичто не может быть проанализирован статически. Они расширяемый язык с набором утверждений дляПоддержка Модульная, формальной проверки.

переводится, пожалуйста, подождите..

Результаты (русский) 2:[копия]

Скопировано!

СПАРК на основе языка программирования Ада. Дизайнеры S PARK "с выбрали
ограниченный, четко определенный, однозначный подмножество языка Ада, чтобы устранить
возможности, которые не могут быть статически проанализированы. Они расширили язык с набором утверждений с
поддержки модульную, формальную проверку.

переводится, пожалуйста, подождите..

Результаты (русский) 3:[копия]

Скопировано!

искра основывается на ада языка программирования.S Park 's дизайнеры выбрали
ограничен, четко, однозначно часть ада языка для ликвидации черты
, которые не могут быть статически анализ.они продлили языка комплекс утверждения
поддерживаем модульные, формальной проверки.

переводится, пожалуйста, подождите..

Другие языки

Поддержка инструмент перевода: Клингонский (pIqaD), Определить язык, азербайджанский, албанский, амхарский, английский, арабский, армянский, африкаанс, баскский, белорусский, бенгальский, бирманский, болгарский, боснийский, валлийский, венгерский, вьетнамский, гавайский, галисийский, греческий, грузинский, гуджарати, датский, зулу, иврит, игбо, идиш, индонезийский, ирландский, исландский, испанский, итальянский, йоруба, казахский, каннада, каталанский, киргизский, китайский, китайский традиционный, корейский, корсиканский, креольский (Гаити), курманджи, кхмерский, кхоса, лаосский, латинский, латышский, литовский, люксембургский, македонский, малагасийский, малайский, малаялам, мальтийский, маори, маратхи, монгольский, немецкий, непальский, нидерландский, норвежский, ория, панджаби, персидский, польский, португальский, пушту, руанда, румынский, русский, самоанский, себуанский, сербский, сесото, сингальский, синдхи, словацкий, словенский, сомалийский, суахили, суданский, таджикский, тайский, тамильский, татарский, телугу, турецкий, туркменский, узбекский, уйгурский, украинский, урду, филиппинский, финский, французский, фризский, хауса, хинди, хмонг, хорватский, чева, чешский, шведский, шона, шотландский (гэльский), эсперанто, эстонский, яванский, японский, Язык перевода.