Especially considering you could generate faster C code than written by hand. Wi... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

snaky on Dec 14, 2018 | parent | context | favorite | on: Remote code execution vulnerability in SQLite

Especially considering you could generate faster C code than written by hand. With Proofs, Without Compromises http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP1...

nichochar on Dec 14, 2018 [–]

Have you seen the language Esterel?

snaky on Dec 15, 2018 | [–]

My impression is it's rather low-level verification and modelling language comparing to the platforms like Kami (https://deepspec.org/entry/Project/Kami)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact