Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

  • 指称语义学是以函数的形式来表达程序的语义,一阶时态逻辑是以逻辑方式表达程序的语义。

  • 互联网摘选 2025-01-20 12:44:08

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句