نتایج جستجو برای: weak separation
تعداد نتایج: 261656 فیلتر نتایج به سال:
This paper investigates effects of different additives on morphology and subsequently, separation performance of asymmetric flat sheet Polyvinylidene fluoride (PVDF) membranes to separate CO2 using membrane contractor. Five different additives from different chemical families including Lithium chloride (salt), Polyethylene glycol 400 (polymer), glycerol (weak anti-solvents), methanol...
Concurrent Separation Logic (CSL) provides a simple but powerful technique for reasoning about shared-memory concurrent programs. Unfortunately, CSL and separation logic can only support “strong updates,” where mutation to a memory location is safe only if there is a strong memory separation. This severely limits the applicability of CSL since most statically typed languages (e.g., ML, Java, C#...
Separation Logic (SL) provides a simple but powerful technique for reasoning about imperative programs that use shared data structures. Unfortunately, SL supports only “strong updates”, in which mutation to a heap location is safe only if a unique reference is owned. This limits the applicability of SL when reasoning about the interaction between many high-level languages (e.g., ML, Java, C#) a...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید