ГНАТ

ГНАТ
	Ada Источник в GPS
Разработчики)	Нью-Йоркский университет (NYU), AdaCore и проект GNU
Начальная версия	1995 год ; 29 лет назад
Стабильная версия	ФСФ GNAT 9.2 (12 августа 2019 г.) ГНАТ Про 7.4 (23 февраля 2016 г.)
Операционная система	ФриБСД , Линукс , ; Солярис / СПАРК , ; Майкрософт Виндоус , ; Mac OS X , ; плюс другие, поддерживаемые FSF GNAT в рамках GCC
Тип	Компилятор
Лицензия	GNU GPL 3+ с исключением библиотеки времени выполнения GCC
Веб-сайт	www .getadanow .com — ФСФ ГНАТ ; www .adacore .с /gnatpro / ГНАТ Про

GNAT — это бесплатного программного обеспечения компилятор для языка программирования Ada , который является частью коллекции компиляторов GNU (GCC). Он поддерживает все версии языка, то есть Ada 2012, Ada 2005, Ada 95 и Ada 83. Первоначально его название было аббревиатурой обозначающей G NU N YU A da Translator , , но это имя больше не применяется. Интерфейс и среда выполнения написаны на языке Ada.

История [ править ]

Проект GNAT начался в 1992 году, когда ВВС США заключили с Нью-Йоркским университетом (NYU) контракт на создание бесплатного компилятора для Ada, который поможет в процессе стандартизации Ada 9X. Требуемый контракт на 3 миллиона долларов ^{[ нужна цитата ]}использование GNU GPL для всех разработок и передал авторские права Фонду свободного программного обеспечения . Первая официальная валидация GNAT произошла в 1995 году.

В 1994 и 1996 годах первоначальные авторы GNAT ^{[ нужны разъяснения ]}^{[ ВОЗ? ]}основал две дочерние компании, Ada Core Technologies в Нью-Йорке и ACT-Europe (позже AdaCore SAS) в Париже, чтобы обеспечить постоянное развитие и коммерческую поддержку GNAT. Две компании всегда действовали как единое целое, но официально не объединялись до 2012 года под названием AdaCore. ^[4]

GNAT изначально был выпущен отдельно от основных источников GCC. 2 октября 2001 г. исходники GNAT были добавлены в репозиторий GCC CVS . ^[5]Последней версией, выпущенной отдельно, была GNAT 3.15p, основанная на GCC 2.8.1, 2 октября 2002 года. Начиная с GCC 3.4, на основных платформах официальная версия GCC способна пройти 100% тестов ACATS Ada, включенных в набор тестов GCC. К GCC 4.0 более экзотические платформы также смогли пройти 100% тестов ACATS.

Лицензия [ править ]

Компилятор лицензируется на условиях GNU GPL 3+ с исключением библиотеки времени выполнения GCC. ^[3]

Все версии до 3.15p включительно лицензируются в соответствии с GMGPL, предлагающим аналогичные исключения во время выполнения. Лицензией GMGPL является GNU GPL 2 с исключением связывания, которое позволяет связывать программное обеспечение с лицензиями, несовместимыми с GPL, с выходными данными стандартных универсальных библиотек Ada, поставляемых с GNAT, без нарушения лицензионного соглашения.

Версии [ править ]

FSF GNAT является частью большинства основных дистрибутивов Linux или BSD и включен в основные исходные коды GCC.

GNAT Pro — поддерживаемая версия GNAT от AdaCore .

В дополнение к FSF GNAT и GNAT Pro от AdaCore, AdaCore выпускает дополнительные версии (GNAT-GPL, общедоступная старая версия GNAT Pro, и GNAT GAP, версия для образовательных программ AdaCore). ^[6] В этих версиях AdaCore удалены исключения времени выполнения; для этого требуется, чтобы программное обеспечение, связанное со стандартными библиотеками, имело лицензии, совместимые с GPL, чтобы не нарушать лицензионное соглашение.

JGNAT представлял собой версию GNAT, скомпилированную из языка программирования Ada в байт-код Java . GNAT для dotNET — это версия GNAT, которая компилируется из языка программирования Ada в Common Language Infrastructure для .NET Framework, а также в бесплатные реализации с открытым исходным кодом Mono и Portable.NET.

См. также [ править ]

APSE — спецификация среды программирования для поддержки разработки программного обеспечения на языке Ada.
Студия программирования GNAT
Коллекция компиляторов GNU — бесплатный компилятор с открытым исходным кодом для различных языков программирования.
Профиль Ravenscar - подмножество функций управления задачами Ada, предназначенное для критически важных для безопасности вычислений в режиме реального времени.
SPARK - язык программирования, состоящий из строго ограниченного подмножества Ada, снабженного метаинформацией, описывающей желаемое поведение компонента и индивидуальные требования времени выполнения.

Ссылки [ править ]

^ «Релизы GCC — проект GNU» .
^ «AdaCore выпускает GNAT Pro 7.4» . АдаКор .
^ Перейти обратно: ^а ^б «Исключение библиотеки времени выполнения GCC» . Проверено 28 февраля 2013 г.
^ GNAT Pro Insider, осень/зима 2014–2015, стр. 1
^ Архив списка рассылки GCC CVS «Новый язык: Ада»
^ «Сравнение GNAT Pro» . АдаКор . Проверено 17 августа 2021 г.

Дальнейшее чтение [ править ]

Миранда, Хавьер; Шенберг, Эдмонд (июнь 2004 г.). GNAT: компилятор GNU Ada . Архивировано из оригинала 7 июля 2011 г. Проверено 6 июня 2008 г.
Шенберг; Баннер, Бернард (1994). «Проект ГНАТ» . Материалы конференции по ТРИ-Аде '94 . АКМ. стр. 48–57. дои : 10.1145/197694.197706 . ISBN 0897916662 . Проверено 7 июня 2008 г.

Внешние ссылки [ править ]

История проекта GNAT
GNAT в вики GCC
Инструкции по установке FSF GNAT для основных платформ
Проект GNU Ada — больше версий GNAT для FSF
Политика Debian Ada — упаковка GNAT и других программ Ada в Debian.
Напишите это на Ada — запустите на виртуальной машине Java

[1] «Релизы GCC — проект GNU» .

[2] «AdaCore выпускает GNAT Pro 7.4» . АдаКор .

[GCC_Runtime_Library_Exception-3] Перейти обратно: ^а ^б «Исключение библиотеки времени выполнения GCC» . Проверено 28 февраля 2013 г.

[GNAT-Pro-Insider-2014-2015-4] GNAT Pro Insider, осень/зима 2014–2015, стр. 1

[5] Архив списка рассылки GCC CVS «Новый язык: Ада»

[6] «Сравнение GNAT Pro» . АдаКор . Проверено 17 августа 2021 г.

[1]

[2]

[3]

[4]

[5]

[6]