КомпСерт

От / / Оставьте комментарий

Оглавление1 Сжатие1.1 Обзор CompCert1.2 Лицензия и награды1.3 Рекомендации1.4 Примечание2 КомпСерт — Википедия Сжатие Обзор CompCert CompCert – оптимизирующий компилятор для […]

Compilers, Computer programming tool stubs, Formal methods, Logic in computer science, Software using the LGPL license, Заглушки средств компьютерного программирования, Компиляторы, Логика в информатике, Программное обеспечение с использованием лицензии LGPL, Формальные методы

Сжатие

  • Обзор CompCert

    • CompCert – оптимизирующий компилятор для C99, ориентированный на различные архитектуры. 
    • Проект стартовал в 2005 году, финансировался ANR и INRIA, разработан Ксавье Леруа. 
    • Компилятор предназначен для встраиваемых систем и обеспечивает высокую производительность. 
    • С 2015 года AbsInt предоставляет коммерческие лицензии и поддержку. 

  • Лицензия и награды

    • CompCert выпущен под некоммерческой лицензией, не является свободным программным обеспечением. 
    • Ксавье Леруа и команда CompCert получили награду ACM Software System Award за разработку CompCert. 

  • Рекомендации

    • Статья содержит список элементов форматирования и иконок, используемых в парсере MW-парсер-выход. 
    • Ссылки на официальный веб-сайт, GitHub и запись о формальной проверке компилятора. 

  • Примечание

    • Статья является заглушкой и предлагает помощь в расширении Википедии. 

Полный текст статьи:

КомпСерт — Википедия

Похожие статьи:

  1. Альбрехт Флекенштейн Оглавление1 Альбрехт Флекенштейн1.1 Биография и карьера1.2 Награды1.3 Рекомендации1.4 Полный текст статьи:2 Альбрехт Флекенштейн Альбрехт Флекенштейн Биография...
  2. Фрэнсис Ксавье Кабрини Оглавление1 Фрэнсис Ксавье Кабрини1.1 Ранние годы и образование1.2 Основание ордена сестер-миссионерок1.3 Миссия в США1.4 Натурализация и...
  3. Дизайн иконок Оглавление1 Дизайн иконок1.1 Определение и использование иконок1.2 Процесс создания иконок1.3 Известные дизайнеры иконок1.4 Рекомендации и внешние...
  4. Иконка (вычисления) Оглавление1 Значок (вычислительная техника)1.1 Определение и функции значков1.2 История и эволюция1.3 Типы и использование значков1.4 Дизайн...
  5. Химический элемент – Arc.Ask3.Ru Оглавление1 Химический элемент1.1 Определение химического элемента1.2 История открытия элементов1.3 Классификация элементов1.4 Свойства элементов1.5 Синтез и открытие...
  6. Средняя школа Ксавьера (Нью-Йорк) Оглавление1 Старшая школа Ксавье (Нью-Йорк)1.1 История и достижения школы Ксавье1.2 Известные выпускники1.3 Культурное влияние1.4 Дополнительные ресурсы1.5...
  7. Прочность на сжатие Оглавление1 Прочность на сжатие1.1 Определение и измерение прочности на сжатие1.2 Прочность на сжатие и другие свойства...
  8. Химический элемент Оглавление1 Химический элемент1.1 Определение химического элемента1.2 История открытия элементов1.3 Классификация элементов1.4 Свойства элементов1.5 Синтез и открытие...
  9. Р.К. Лаксман Оглавление1 Р. К. Лаксман1.1 Ранние годы и образование1.2 Начало карьеры1.3 Основные работы1.4 Личная жизнь1.5 Награды и...
  10. Метр в секунду Оглавление1 Метр в секунду1.1 Определение метра в секунду1.2 Символика и форматирование1.3 Преобразования1.4 Связь с другими единицами...
  11. Таблица Менделеева – Arc.Ask3.Ru Оглавление1 Периодическая таблица Менделеева1.1 История и структура периодической таблицы1.2 Периодический закон и его развитие1.3 Современные представления...
  12. Дарио Фо Оглавление1 Дарио Фо1.1 Ранние годы и образование1.2 Начало карьеры1.3 Работа в кино и театре1.4 Политическая деятельность1.5...
  13. Редкоземельный элемент – Arc.Ask3.Ru Оглавление1 Редкоземельный элемент1.1 Редкоземельные элементы1.2 Свойства и применение1.3 История открытия1.4 Спектроскопическая идентификация1.5 Источники и очистка1.6 История...
  14. Радиус Лероя Оглавление1 Радиус Лероя1.1 Теория Леруа-Бернштейна1.2 Радиус Лероя1.3 m-зависимый радиус Леруа1.4 Полный текст статьи:2 Радиус Лероя Радиус...
  15. Сжатие с потерями Оглавление1 Сжатие с потерями1.1 Основы сжатия данных1.2 Типы сжатия1.3 Примеры и применение1.4 Перцептивное кодирование1.5 Внешние ссылки2...
  16. Сжатие данных Оглавление1 Сжатие данных1.1 Основы сжатия аудио и видео1.2 Сжатие аудио1.3 Кодирование речи1.4 Видео1.5 Теория кодирования1.6 Полный...
  17. Расширенная таблица Менделеева – Arc.Ask3.Ru Оглавление1 Расширенная периодическая таблица Менделеева1.1 Расширенная периодическая таблица Менделеева1.2 История и предсказания1.3 Современные исследования1.4 Модели и...
  18. Распространенность химических элементов – Википедия Оглавление1 Обилие химических элементов1.1 Распространенность химических элементов1.2 Изобилие элементов во Вселенной1.3 Изобилие элементов на Солнце и...
  19. ЛЛВМ Оглавление1 LLVM (полный рабочий день)1.1 Обзор LLVM1.2 Компилятор1.3 Оптимизирующий компилятор1.4 Линковщик1.5 Стандартная библиотека C++1.6 Производные версии1.7...
  20. Рекомпрессия в воде Оглавление1 Повторное сжатие в воде1.1 Рекомпрессия в воде (IWR)1.2 Рекомендации и риски1.3 Безопасность и эффективность1.4 Декомпрессионная...
  21. Фрактальное сжатие Оглавление1 Фрактальное сжатие1.1 Основы фрактального сжатия изображений1.2 Преимущества и недостатки1.3 История и развитие1.4 Распространение и лицензирование1.5...
  22. Сжатие карт Сопоставление с сжатием Сжатие – преобразование, сохраняющее площадь и ориентацию.  Сжатие является гиперболическим элементом в классификации...

Оставьте комментарий

Прокрутить вверх