维多利亚州玛丽亚·桑加尔;马丁·威尔辛 代数规范的高阶参数化演算。 （英语） Zbl 0832.68072号 牛。IGPL公司 3，第4期，615-641（1995）. 摘要：提出了一种规范语言，它提供了三种规范构建操作符：合并合并、重命名和限制。该语言通过基于简单类型lambda演算的高阶变量参数化得到了增强。确保参数化规范的精确性的上下文依赖关系是在需求演算中定义的，可以从语法上推导出来。还提出了一个用于参数化规范的上下文证明系统，该系统是正确且相对完整的。 引用于1文件 理学硕士： 68问题65 抽象数据类型；代数规范 03B40型 组合逻辑与lambda演算 关键词：规范语言;λ演算;上下文证明系统 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Cengarle}和\textit{M.Wirsing}，公牛。IGPL 3，第4号，615--641（1995；Zbl 0832.68072） 全文： 内政部