瓦莱里亚诺维茨卡 Anna包的形式语义。 （英语） Zbl 0718.68051号 安理大学。布达普。罗兰多·Eötvös，Sect。计算。 10, 67-82 (1989). 总结：我们定义了Anna包的形式语义。结果表明，Ada构造包和Anna注释为使用代数规范化方法描述抽象数据类型提供了一个很好的工具。语义方法基于异构代数的概念，使用指称语义的原则。 MSC公司： 68问题55 计算理论中的语义学 68问题65 抽象数据类型；代数规范 关键词：带注释的ada;抽象日期类型;代数规范;异质代数;指称语义学 软件：安娜;阿达95 PDF格式BibTeX公司 XML格式引用 \textit｛V.Novitzka｝，安大学科学院。布达普。罗兰多·Eötvös，Sect。计算。10、67-82（1989年；Zbl 0718.68051）