蔡家楣, 杜国维. 基于ECC的程序规范描述[J]. 工程科学学报, 1998, 20(6): 585-589. DOI: 10.13374/j.issn1001-053x.1998.06.018
引用本文: 蔡家楣, 杜国维. 基于ECC的程序规范描述[J]. 工程科学学报, 1998, 20(6): 585-589. DOI: 10.13374/j.issn1001-053x.1998.06.018
shu
Cai Jiamei, Du Guowei. Development of Specification of Program Based on ECC[J]. Chinese Journal of Engineering, 1998, 20(6): 585-589. DOI: 10.13374/j.issn1001-053x.1998.06.018
Citation: Cai Jiamei, Du Guowei. Development of Specification of Program Based on ECC[J]. Chinese Journal of Engineering, 1998, 20(6): 585-589. DOI: 10.13374/j.issn1001-053x.1998.06.018
shu

基于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)

/

返回文章
返回