谓词转换器

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