#separationLogic

Latest posts tagged with #separationLogic on Bluesky

Trending

#MJF Tribute #Javier Bardem #WBC #Marty Supreme #Jessie Buckley #Andrade #Academy Awards #MBJ #Autumn Durald Arkapaw #Wallace #MJF Tribute #Javier Bardem #WBC #Marty Supreme #Jessie Buckley #Andrade #Academy Awards #MBJ #Autumn Durald Arkapaw #Wallace

Posts tagged #separationLogic

RanaldClouston

@ranaldclouston.fediscience.org.ap.brid.gy

6 months ago

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]

0 1 0 0

glyn

@underlap.fosstodon.org.ap.brid.gy

11 months ago

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

0 0 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

1 year ago

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

0 0 0 0