Основные сведения:
Рейтинг: |
||
Адрес: |
||
Безопасность данных: Наилучшая Степень доверия: Наилучшая Безопасность для детей: Не определена |
||
О сайте: Анализ данных compcert.inria.fr показал, что у этого домена отсутствует рейтинг Alexa и посещаемость данного сайта неизвестна. Лидирующую позицию по доле трафика занимает Китай (29,1%), а владельцем домена является Institut National de Recherche en Informatique et en Automatique. |
||
Заголовок: CompCert - Main page |
||
Мета-описание: CompCert The CompCert project investigates the formal verification of realist... |
||
Нет данных |
Нет данных |
Нет данных |
Статус: Онлайн |
Дата последней проверки:
|
Наиболее популярные страницы домена:
-
CompCert C: a trustworthy compiler
Chapter 1 CompCert C: a trustworthy compiler Traduttore, tradittore (“Translator, traitor”) (Italian proverb) CompCert C is a compiler for the C programming language. Its intended use is the co...
-
Using the CompCert C compiler
Chapter 3 Using the CompCert C compiler This chapter explains how to invoke the CompCert C compiler and describes its command-line interface. 3.1 Overview The CompCert C compiler is a command-line e...
-
The Verasco static analyzer
All these tools are prepackaged in OPAM, MacPorts, and many Linux distributions. The Verasco analyzer reuses parts of the CompCert verified C compiler and therefore is not free software. This release...
Географическое распределение аудитории для inria.fr:
Страна | Доля посетителей | Рейтинг по стране |
---|---|---|
Китай | 29,1% | 19 042 |
Франция | 10,4% | 6 842 |
Индия | 10,2% | 42 925 |
США | 6,9% | 70 749 |
Испания | 2,4% | 20 393 |
Информация о домене:
Возраст домена: | 29 лет |
Владелец: | Institut National de Recherche en Informatique et en Automatique |
Регистратор: |
AFNIC |