Development of Specification of Program Based on ECC
Udt Beijing · Journal of University of Science and Technology Beijing · 1998
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.