건전성soundness Copy: 건전성soundness has NO comma Hide Show 건전성soundness (rev. 1.3) sound adj. 비교: 완전성completeness 타입,type에 대해, 타입건전성 type_soundness = 타입안정성 type_safety.[1] https://foldoc.org/sound inference_system이 건전성 Soundness ---- [1] Type_safety