[计] correctness-oriented programming
miàn xiàng zhèng què xìng de chéng xù shè jì ㄇㄧㄢˋ ㄒㄧㄤˋ ㄓㄥˋ ㄑㄩㄝˋ ㄒㄧㄥˋ ㄉㄜ˙ ㄔㄥˊ ㄒㄩˋ ㄕㄜˋ ㄐㄧˋ
面向正确性的程序设计