sound
adj.
비교:
완전성completeness
타입,type
에 대해, 타입건전성 type_soundness = 타입안정성 type_safety.
[1]
https://foldoc.org/sound
inference_system
이
건전성
Soundness
WIKIADMIN
RENAMETHISPAGE
----
[1]
Type_safety
Retrieved from http://red-ruby.com/wiki/wiki.php/건전성soundness
last modified 2024-01-21 02:44:30