Ада (язык программирования): различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
MBH (обсуждение | вклад) м откат правок 92.125.157.138 (обс.) к версии KrBot |
→Операционные системы: В настоящее время развивается операционная система Muen, написанная на Ada и SPARK, используются учебные ОС Ada Bare bones, TAMP. |
||
Строка 126:
Ранее существовали и другие операционные системы, написанные на Аде, среди них BiiN, Pulse, AdaOS.
В настоящее время развивается операционная система Muen<ref>{{Cite web|url=https://muen.codelabs.ch/|title=Muen {{!}} SK for x86/64|publisher=muen.codelabs.ch|lang=en|accessdate=2017-12-13}}</ref>, написанная на Ada и SPARK, используются учебные ОС Ada Bare bones<ref>{{Cite web|url=http://wiki.osdev.org/Ada_Bare_bones|title=Ada Bare bones - OSDev Wiki|publisher=wiki.osdev.org|lang=en|accessdate=2017-12-13}}</ref>, Microkernel Ada (TAMP<ref>{{Статья|автор=Luke A. Guest|заглавие=tamp: The Ada Microkernel Project|ссылка=https://github.com/Lucretia/tamp|год=2017-12-05}}</ref>).
== Компиляторы Ада ==
| |||