正当性 (計算機科学) - 他の言語