謂詞轉換器

謂詞轉換器（predicate transformer）是2018年計算機科學技術名詞。

基本介紹

• 中文名：謂詞轉換器
• 外文名：predicate transformer
• 所屬學科：計算機科學技術_理論計算機科學_程式理論
• 公布時間：2018年

定義

由埃德斯加·迪傑斯特拉（Edsger Dijkstra）引進的描述程式語義的方法，把程式的執行看成是狀態空間上的謂詞轉換。

出處

《計算機科學技術名詞 》 (第三版)。