基于ECC的程序规范描述
来源期刊：工程科学学报1998年第6期
论文作者：蔡家楣 杜国维
文章页码：3 - 5
关键词：扩展构造演算（ECC）;程序规范;函形象型语言;
摘 要：介绍一种扩展的类型理论构造演算ＥＣＣ；讨论了用它表示松散语义抽象类型的程序规范的方法。然后介绍如何用函数型语言ＭＬ使这种方法得以实现。
蔡家楣，杜国维
浙江工业大学信息工程学院北京科技大学应用科学学院
摘 要：介绍一种扩展的类型理论构造演算ＥＣＣ；讨论了用它表示松散语义抽象类型的程序规范的方法。然后介绍如何用函数型语言ＭＬ使这种方法得以实现。
关键词：扩展构造演算（ECC）;程序规范;函形象型语言;
