塞萨尔·多明格斯;多米尼克·杜瓦尔 参数化过程：从功能角度来看。 （英语） Zbl 1269.68064号 发现的国际期刊。计算。科学。 23，第1期，225-242（2012）. 引言：“Kenzo及其前身EAT是专门用于代数拓扑中符号计算的软件系统。它们执行复杂拓扑空间的同调群的计算，即迭代循环空间。本文讨论了Kenzo和EAT意义上的参数化泛化，使我们的参数是给定类型的符号常量，将被作为给定集合中元素的参数所取代。编程语言和规范语言中的参数化概念具有多种含义，其中参数可以是类型或规范。例如，在面向对象编程中，参数多态性被称为泛型编程，在C++中，它的特点是使用模板参数来表示抽象数据类型。另一方面，在代数规格说明中，参数化规格说明被定义为规格说明的形态，其中参数是源，参数传递被定义为pushout[H.埃里格等，Lect。注释计算。科学。85, 157–168 (1980;Zbl 0456.68101号)].理论（Theta）可以通过规范（Sigma）来表示，这意味着（Sigma\）生成（Theta\）。对于每个给定的理论（Theta），都描述了参数化过程及其相关的参数传递过程，但事实上，它们具有保持理论结构的特性，可以在范畴框架中精确地表述：这是本文的目的。”作者还证明了以下几点：“给定参数化规范的模型，参数的每个解释，称为参数，都提供了给定规范的模型。此外，在一些相关的终端假设下，参数和给定规范模型之间的这种对应是一个双射。”审核人：纳尔逊·马丁斯·费雷拉（莱里亚） 引用于1文件 MSC公司： 第68季度第70季度 语言代数理论与自动机 关键词：参数化过程;符号计算系统;范畴形式化 引文：Zbl 0456.68101号 软件：吃;肯佐 PDF格式BibTeX公司 XML格式引用 \textit{C.Domínguez}和\textit{D.Duval}，国际法学研究所。计算。科学。23，第1号，225--242（2012；Zbl 1269.68064） 全文： 内政部 参考文献： [1] Barr M.，《计算科学的范畴理论》（1999）·Zbl 0714.18001号 [2] DOI:10.1017/0960129510000150·Zbl 1204.03059号 ·doi:10.1017/S0960129510000150 [3] DOI:10.1051/ita:2007015·Zbl 1146.68481号 ·doi:10.1051/ita:2007015 [4] DOI:10.1016/j.tcs.2010.11.016·Zbl 1207.68211号 ·doi:10.1016/j.tcs.2010.11.016 [5] Domínguez C.，《通用计算机科学杂志》12页1701– [6] Dousson X.，Kenzo计划（1999年） [7] DOI:10.1016/S0304-3975（99）00275-3·兹比尔0946.68070 ·doi:10.1016/S0304-3975（99）00275-3 [8] DOI:10.1007/BFb0014435·doi:10.1007/BFb0014435 [9] DOI:10.1007/s00200-003-0129-1·Zbl 1046.68140号 ·doi:10.1007/s00200-003-0129-1 [10] Lellahi S.K.，图表21，第SKL1页– [11] Loeckx J.，抽象数据类型规范（1996）·Zbl 0868.68077号 [12] Mac Lane S.，《工作数学家的类别》（1998年） [13] Pitts A.M.，代数和逻辑结构5，收录于：计算机科学逻辑手册（2000） [14] Rubio J.，EAT：有效同源计算的符号软件（1997） [15] DOI:10.1016/S0304-3975（00）00056-6·Zbl 0951.68038号 ·doi:10.1016/S0304-3975（00）00056-6 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。