correctness-oriented programming 📖 中文释义 [计] 面向正确性的程序设计 ← correctness specification C 字母词表 corrector →