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