基于ECC的程序规范描述

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