[Iris-Club] Iris on top of "real-world" languages
gmalecha at gmail.com
Wed Oct 10 22:39:36 CEST 2018
I'm wondering how much work there has been applying Iris to reason about
"real-world" languages. I was really impressed with the RustBelt work, and
was wondering if there has been any work applying it to build program
logics on top of languages such as C, C++, Rust, or even assembly.
Any pointers would be greatly appreciated. Even if there isn't any work
right now, if there is anyone interested either in producing or consuming
this sort of work, it would be great to know about interest.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Iris-Club