Development of Specification of Program Based on ECC

Cai Jiamei; Du Guowei

doi:10.13374/j.issn1001-053x.1998.06.018

Volume 20 Issue 6

Aug. 2021

Turn off MathJax

Article Contents

Article Navigation > Chinese Journal of Engineering > 1998 > 20(6): 585-589

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

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

PDF( 479 KB)

Development of Specification of Program Based on ECC

doi: 10.13374/j.issn1001-053x.1998.06.018

Cai Jiamei¹,
Du Guowei²

1. Institute of Information, Zhejiang University of Technology, Hangzhou 310014;
2. Applied Science School, UDT Beijing, Beijing 100083

Received Date: 1998-03-25
Available Online: 2021-08-27

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.
- extended calculus of constructions(ECC),
- specification,
- functional language