谓词转换语义

（计算机科学技术）

谓词转换语义（predicate transformer semantics），计算机科学技术名词，一种公理语义，它包含了有关语句执行前后变量值的断言。