保存此搜索
第条 1997年1月 PolyP-一种多类型编程语言扩展 许多函数必须针对不同的数据类型反复编写,这可能是因为在程序开发过程中数据类型会发生变化,也可能是因为不同的数据型需要具有类似功能的函数。 此类……的示例。。。 第条 1997年1月 高级阅读和数据结构编译 在[Paige89]中,演示了如何在RAM上实时模拟一台设定机器,该RAM提供对数据的光标甚至指针访问。 基本假设是,一些“客户”将提供高效数据结构的建立。。。 第条 1997年1月 使用类型对数据流分析进行分区 我们提出了一种将数据流分析问题划分为一系列相关子问题的简单方法。 我们使用类型信息(由程序员声明或通过非标准类型推断计算)保守地近似分析-。。。