Separation logic

Definition of Separation logic:

  • Is an extension of Hoare logic, a way of reasoning about programs.

منطق الفصل

تعريف منطق الفصل:

  • هو امتداد لمنطق هوري ويمثل طريقة للتفكير في البرامج.

— Source:  https://en.wikipedia.org/wiki/Separation_logic

if you would like to suggest a word please click SUBMIT BELOW

Related Words

Browse words in Glossary

ABCDEFGHIJKLMNOPQRSTUVWXYZ
ابتثجحخدذرزسشصضطظعغفقكلمنهوي