Difference between r1.5 and the current
@@ -22,9 +22,6 @@
[[WpEn:Separation_logic]] = https://en.wikipedia.org/wiki/Separation_logic[[Hoare_logic]]의 [[확장,extension]]
via WpEn:Maplet
} // separation logic Naver:"separation logic" Ggl:"separation logic"
...작성중, 임시.
Sub:
변수분리,variable_separation (변수분리법)
separability .... 분리가능성? 분리성? (2023-12 에 not in kms. later try separability ) separability separability separability
분리공리,separation_axiom { axiom of separation Up: 분리,separation 공리,axiom }
분리벡터,separation_vector - curr at 벡터,vector
separation_logic (CS)
{
separation logic
분리논리?
변수분리,variable_separation (변수분리법)
separability .... 분리가능성? 분리성? (2023-12 에 not in kms. later try separability ) separability separability separability
분리공리,separation_axiom { axiom of separation Up: 분리,separation 공리,axiom }
분리벡터,separation_vector - curr at 벡터,vector
separation_logic (CS)
{
separation logic
분리논리?
Separation_logic = https://en.wikipedia.org/wiki/Separation_logic
via Maplet
} // separation logic separation logic separation logic
...
via Maplet
} // separation logic separation logic separation logic
...