About the axiomatic semantics, I have not see the articles about the axiomatic semantics of continue, break, return, and the main reason is these statements concerning about the control transfer and difficultly to describe the formula.

  • 关于公理语义,目前没有见到讨论continue,break,return等的语句的公理化方面的文章,主要原因是这些语句涉及到控制转移问题,用逻辑公式不易描述。

  • 互联网摘选 2025-01-20 12:47:52

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