a monad to prove C is ok

[juan_gandhi]

https://cs.ru.nl/~dfrumin/wpc/iris-c-monad.pdf 

Comments

[caztd]

Вот когда они прувер напишут, который будет находить все UB в cpp-коде, тогда я скажу вау ;)