separation logic
From WikiWord
English
Pronunciation
No pronunciation has been added yet.
No definition found for “separation logic”. Check the spelling, or try a related word.
Related terms
Synonyms
hoare logicseparation of concernscontrol flow analysisfunctional programmingprogram synthesiscoinductionprologontology languageinterpreter patterncommunicating sequential processesformal methodspseudocodehigher-order abstract syntaxformal specificationprocedural programmingprogramming language theory