基于ECC的程序规范描述  

Development of Specification of Program Based on ECC

作　　者：蔡家楣[1,2] 杜国维[1,2] 

机构地区：[1]浙江工业大学信息工程学院 [2]北京科技大学应用科学学院

出　　处：《北京科技大学学报》1998年第6期585-589,共5页Journal of University of Science and Technology Beijing

基　　金："863"计划和浙江省自然科学基金资助的课题

摘　　要：介绍一种扩展的类型理论构造演算ＥＣＣ；讨论了用它表示松散语义抽象类型的程序规范的方法。然后介绍如何用函数型语言ＭＬ使这种方法得以实现。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.

关 键 词：扩展构造演算 程序规范 函数型语言 程序形式化 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]