高级检索

    算法语言L的指称语义

    DENOTATIONAL SEMANTICS OF ALGORITHMIC LANGUAGE L

    • 摘要: 文中为算法语言L定义了动态指称语义,在描述中避免了含有函数空间构造运算的递归论域方程.指称语义可以说明L的一些良好的数学性质,也可以说明指称语义技术可以达到更好的直观性和实用性.

       

      Abstract: The dynamic denotational semantics of the algorithmic language L is defined. The recursive domain equations containing the function space constructor are not used here. The semantic definitions help to clarify some good mathematical properties of algorithmic language L and may be used to advocate a semantic declarative style with better readability and applicability.

       

    /

    返回文章
    返回