Separation logic
Related papers: 2
Top Researchers
Top Cited Papers
Fixed point theorems and semantics: a folk tale
J.-L. Lassez, V.L. Nguyen, Ea Sonenberg
Citations: 133 • 1982
Automated verification of reactive and concurrent programs by calculation
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Citations: 7 • 2021