ACM Software System Award 2021

Опубликовано: 24 Июнь 2022
на канале: Association for Computing Machinery (ACM)

495

Xavier Leroy, Sandrine Blazy, Zaynah Dargaye, Jacques-Henri Jourdan, Michael Schmidt, Bernhard Schommer, and Jean-Baptiste Tristan are the recipients of the ACM Software System Award for the development of CompCert, the first practically useful optimizing compiler targeting multiple commercial architectures that has a complete, mechanically checked proof of its correctness.

Read more at

Смотрите видео ACM Software System Award 2021 онлайн, длительностью 01 минут 28 секунд в хорошем hd качестве, которое загружено на канал Association for Computing Machinery (ACM) 24 Июнь 2022. Делитесь ссылкой на видео в социальных сетях, чтобы ваши подписчики и друзья так же посмотрели это видео. Данный видеоклип посмотрели 495 раз и оно понравилось 4 посетителям.

294