鱼类 swMATH ID: 12636 软件作者： 杰伊，C.B。 描述： 形状的表示语义：过去现在和未来。过去对向量和数组语义的研究为新的高阶多态数组编程语言FISh提供了一种指称语义，该语言使用静态分析来确定数组形状。该语义将与形状多态性的语义相结合，以支持在数组和归纳类型上支持形状分析和形状多态性。 主页： http://www.seas.upenn.edu/~sweirich/types/archive/1997-98/msg00372.html 关键词： 形状多态性;向量的语义;鱼类 相关软件： 引用于： 2文件 1位作者引用 2 杰·巴里 连载1篇 1 计算机程序设计科学 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文