Laureano Lambán;维科·帕斯夸尔;朱利奥·鲁比奥 EAT系统的面向对象解释。 （英文） Zbl 1046.68140号 申请。代数工程通讯。计算。 14，第3期，187-215（2003）. 摘要：在之前的一篇论文中，我们在范畴论环境中描述了抽象数据类型的一类实现，这是通过EAT系统中的编程方式提出的。（EAT，有效代数拓扑，是Sergeraert的有效同调和同伦计算系统之一。）此特征是使用经典工具建立的，与当前代数规范领域的主流主题无关。寻找与这些主题的联系，我们意外地发现，我们的方法与一些面向对象的形式主义有关，即隐藏规范和聚合视图。在本文中，我们探讨了这些关系，明确了EAT系统的隐式面向对象特征，并概括了我们之前所做的数据结构分析。 引用于13文件 MSC公司： 68瓦30 符号计算和代数计算 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 软件：AXIOM公司;LISP公司;EAT（吃） PDF格式BibTeX公司 XML格式引用 \文本{L.Lambán}等人，应用。代数工程通讯。计算。14，第3号，187--215（2003；Zbl 1046.68140） 全文： 内政部