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

لاقتراح كلمة جديدة اضغط على «اقتراح»

الكلمات ذات الصلة

تصفح كلمات القاموس

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