The frame rule of separation logic

In this week's #blog (or last week's, I don't know, my schedule is shot) I look at the (pre)history of #separationLogic - cool substructural #logic set to work to solve programming problems […]

[Original post on fediscience.org]

gds (@totherme@tech.lgbt) 366 Posts, 219 Following, 70 Followers · "They" or "he" are fine. Programmer, advocate, cyclist. Evil starts when you treat people like things. At work, I help build #cloudfoundry and help people look after each other. My opinions are mine and no-one else's. I use emacs *and* vim. I love getting outside (walking, biking, running, camping) and learning cool things. I love art, music, stories, dancing, and tech. I often follow folks I want to learn from. #agile #books #dei #golang #bash #java #js #haskell #lisp #unix #devops

@totherme Please could you recommend any good resources on separation logic? (Truly) asking for a friend.

#SeparationLogic

xavxav - Visions of the future: formal verification in Rust

“Visions Of The Future: Formal Verification In Rust”, Xavier Denis (xav.io/blog/rust-fo...).

On Lobsters: lobste.rs/s/fekcju/vis...

#Rust #FormalVerification #HoareLogic #SeparationLogic #Correctness #Proof #Assertions #References #Aliasing