Cai Jiamei, Du Guowei. Development of Specification of Program Based on ECCJ. 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 ECCJ. Chinese Journal of Engineering, 1998, 20(6): 585-589. DOI: 10.13374/j.issn1001-053x.1998.06.018
shu

Development of Specification of Program Based on ECC

    Graphical Abstract
    • 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.
    • FullText(HTML)
  • loading
    • References (0)
    • Related Articles

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return