건전성soundness

Difference between r1.3 and the current

@@ -9,3 +9,7 @@

[[inference_system]]이
[[WpKo:건전성]]
[[WpEn:Soundness]]

----

WIKIADMIN

RENAMETHISPAGE

sound adj.

비교: 완전성completeness

타입,type에 대해, 타입건전성 type_soundness = 타입안정성 type_safety.[1]

https://foldoc.org/sound

inference_system이

WIKIADMIN
RENAMETHISPAGE

----

[1] Type_safety