Tony Finch dot@dotat.at https://dotat.at/ https://dotat.at/:/NPHY9.html 2013-04-30T22:20:00Z Reasoning about the heap in Rust, with Hoare logic and separation logic.
  • 2013‑04‑30 - Reasoning about the heap in Rust, with Hoare logic and separation logic.
  • http://johnbender.us/2013/04/30/reasoning-about-the-heap-in-rust
  • redirect https://dotat.at/:/NPHY9
  • blurb https://dotat.at/:/NPHY9.html
  • atom entry https://dotat.at/:/NPHY9.atom
  • web.archive.org archive.today
    • ]]>