A Hoare Logic for Rust - discu.eu

Hacker News

A Hoare Logic for Rust http://ticki.github.io/blog/a-hoare-logic-for-rust/ 43 comments 30/9/2016

Reddit

A Hoare Logic for Rust - by Redox dev Ticki (being used in possible formalization of redox kernel) http://ticki.github.io/blog/a-hoare-logic-for-rust/ 2 comments 30/9/2016 redox
Modeling memory: A Hoare Logic for Rust http://ticki.github.io/blog/a-hoare-logic-for-rust/ 17 comments 30/9/2016 rust

Linking pages

This Week in Rust 150 · This Week in Rust https://this-week-in-rust.org/blog/2016/10/04/this-week-in-rust-150/ 23 comments

Would you like to stay up to date with Rust? Checkout Rust Weekly.

Related searches:

Search whole site: site:ticki.github.io

Search title: A Hoare Logic for Rust

See how to search.

Submit link to: