奥利弗·肖特 数据表示的行为正确性。 (英语) Zbl 0699.68031号 科学。计算。程序。 14,No.1,43-57(1990). 摘要:本文提出了两种证明数据表示正确性的方法,它们利用表示中的数据值与其抽象模型中的值之间的数学关系。一种方法反映了抽象数据类型理论的行为等价关系,另一种方法是一种新的“行为包含”概念,它将数据类型的“部分表示”概念形式化。这些正确性概念和证明方法严格地比基于抽象函数的传统概念和证明方法更通用,并且它们不再受到规范中“实现偏差”的影响。 引用于12文件 MSC公司: 68第05页 数据结构 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:多子代数;抽象数据类型理论 PDF格式BibTeX公司 XML格式引用 \textit{O.Schoett},科学。计算。程序。14,编号1,43-57(1990;Zbl 0699.68031) 全文: 内政部