托马斯·莱曼;雅克·勒克斯 OBSCURE的规范语言。 (英语) Zbl 0663.68024号 数据类型规范的最新趋势。抽象数据类型的规范,选择。巴普。第五次研讨会,Gullane/UK 1987,Lect。票据计算。科学。332, 131-153 (1988). [关于整个系列,请参见Zbl 0653.00015号.]本文提出了一种基于模块概念的抽象数据类型规范语言。模块的语法特征是由固定导入和导出接口的两个签名构成。在语义上,它的特征是将定义在导入接口签名上的函数映射代数映射到定义在导出接口签名上代数。提出的规范语言独立于所使用的规范方法。因此,该语言可以与代数、构造和/或操作规范结合使用。本文对所提出的规范语言的语法和语义进行了形式化描述。事实证明,语言的操作保持了持久性。此外,还简要概述了如何将该理论推广到运算符重载和松散语义。本文最后对构建在该语言之上且目前正在实现的规范环境进行了简短而非正式的描述。审核人:Th.莱曼 引用于1审查引用于三文件 MSC公司: 68第05页 数据结构 关键词:规范语言;抽象数据类型;模块;语义学 引文:Zbl 0653.00015号 软件:模糊的 PDF格式BibTeX公司 XML格式