基于ECC的程序规范描述

Development of Specification of Program Based on ECC

    摘要
  • 摘要: 介绍一种扩展的类型理论构造演算ECC;讨论了用它表示松散语义抽象类型的程序规范的方法。然后介绍如何用函数型语言ML使这种方法得以实现。

     

    Abstract: A Extended Calculus of Constructions(ECC) is introduced. The description of specification for abstract data type with loose semantics and a implementation at the functional language ML are also discussed.

     

    • HTML全文
    • 参考文献(0)
    • 相关文章
    • 施引文献
  • 资源附件(0)

/

返回文章
返回