Сжатие
-
Обзор CompCert
- CompCert — оптимизирующий компилятор для C99, ориентированный на различные архитектуры.
- Проект стартовал в 2005 году, финансировался ANR и INRIA, разработан Ксавье Леруа.
- Компилятор предназначен для встраиваемых систем и обеспечивает высокую производительность.
- С 2015 года AbsInt предоставляет коммерческие лицензии и поддержку.
-
Лицензия и награды
- CompCert выпущен под некоммерческой лицензией, не является свободным программным обеспечением.
- Ксавье Леруа и команда CompCert получили награду ACM Software System Award за разработку CompCert.
-
Рекомендации
- Статья содержит список элементов форматирования и иконок, используемых в парсере MW-парсер-выход.
- Ссылки на официальный веб-сайт, GitHub и запись о формальной проверке компилятора.
-
Примечание
- Статья является заглушкой и предлагает помощь в расширении Википедии.
Полный текст статьи: