Separation logic
Definition of Separation logic:
-
Is an extension of Hoare logic, a way of reasoning about programs.
منطق الفصل
تعريف منطق الفصل:
-
هو امتداد لمنطق هوري ويمثل طريقة للتفكير في البرامج.
Definition of Separation logic:
Is an extension of Hoare logic, a way of reasoning about programs.
تعريف منطق الفصل:
هو امتداد لمنطق هوري ويمثل طريقة للتفكير في البرامج.