高级检索
    吕江花, 马世龙, 潘 静, 金成植. 接续到直接的指称语义转换[J]. 计算机研究与发展, 2006, 43(7): 1304-1308.
    引用本文: 吕江花, 马世龙, 潘 静, 金成植. 接续到直接的指称语义转换[J]. 计算机研究与发展, 2006, 43(7): 1304-1308.
    Lü Jianghua, Ma Shilong, Pan Jing, Jin Chengzhi. Denotational Semantics Transform from Continuation to Direct[J]. Journal of Computer Research and Development, 2006, 43(7): 1304-1308.
    Citation: Lü Jianghua, Ma Shilong, Pan Jing, Jin Chengzhi. Denotational Semantics Transform from Continuation to Direct[J]. Journal of Computer Research and Development, 2006, 43(7): 1304-1308.

    接续到直接的指称语义转换

    Denotational Semantics Transform from Continuation to Direct

    • 摘要: 接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术,分别考虑了接续函数在不同情形下的处理.最后给出了转换算法的Haskell实现系统,验证了转换的可行性.

       

      Abstract: The key of semantic transform is the discord of semantics functions' signature. A denotational semantics transform technology from continuation to direct is given based on the analysis between the two in the early research, and here continuations in different context are handled differently. Finally, the implementation system is described in Haskell, which tests the feasibility of the transform method.

       

    /

    返回文章
    返回