谓词转换器（predicate transformer）是2018年计算机科学技术名词。
由埃德斯加·迪杰斯特拉（Edsger Dijkstra）引进的描述程序语义的方法，把程序的执行看成是状态空间上的谓词转换。
《计算机科学技术名词 》 (第三版)。
温馨提示：
