This is just a short list of the types of program properties that can be expressed in a traditional assertion language - properties that any programmer would like in code是什么意思_This is just a short list of the types of program properties that can be expressed in a traditional assertion language - properties that any programmer would like in code在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句