건전성soundness in RRWiki

Difference between r1.1 and the current

@@ -2,5 +2,14 @@

비교: [[완전성completeness]]

[[타입,type]]에 대해, 타입건전성 type_soundness = 타입안정성 type_safety.[* WpEn:Type_safety]

----

https://foldoc.org/sound

[[inference_system]]이

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

----

WIKIADMIN

RENAMETHISPAGE

sound adj.

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

WIKIADMIN
RENAMETHISPAGE

----