Средства и методы разработки

1058214 Топик полностью

Evgeny_CD, Архитектор (06.12.2020 20:34, просмотров: 208) ответил Evgeny_CD на Coq - интерактивный решатель теорем от французов

На нем сделан CompCert is a formally verified optimizing compiler for a large subset of the C99 programming language (known as Clight) which currently targets PowerPC, ARM, RISC-V, x86 and x86-64 architectures.

https://en.m.wikipedia.org/wiki/CompCert

Ответить