Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Separation logic
open-in-new
<p>In <a href="/facts/Computer_science/lN3pEyPz">computer science</a>, separation logic is an extension of <a href="/facts/Hoare_logic/UoMg08wo">Hoare logic</a>, a way of reasoning about programs. It was developed by <a href="/facts/John_C._Reynolds/6cdgIrBx">John C. Reynolds</a>, <a href="/facts/Peter_O%2527Hearn/pfsJwFNe">Peter O'Hearn</a>, Samin Ishtiaq and Hongseok Yang, drawing upon early work by <a href="/facts/Rod_Burstall/BhNTxat5">Rod Burstall</a>. The assertion language of separation logic is a special case of the <a href="/facts/Logic_of_bunched_implications/2A6nvJW9">logic of bunched implications</a> (BI). A <a href="/facts/Communications_of_the_ACM/Ix1DvEAk">CACM</a> review article by O'Hearn charts developments in the subject to early 2019. </p>