保存此搜索
第条 1985年1月 并行算术运算与内存访问的优化调度(初步版本) 我们提出了一种新的机器模型,其中负载操作可以通过两个独立的功能单元与算术操作并行执行。 对于该模型,考虑了表达式树的评估。 一个有效的算法来产生一个。。。 第条 1985年1月 函数编程系统中的聚合更新问题 我们讨论了在函数编程系统中高效实现聚合(连续数据结构)(如数组)的问题。 对聚合的简单更改在概念上涉及到创建聚合的新副本,该副本只在。。。 第条 1985年1月 关于并行码的线性化 我们考虑为用包含多个GOTO操作符、谓词和语句的语言编写的程序生成序列代码的问题。 当编译并行中间形式(如PDG[3,4])以运行。。。 第条 1985年1月 检查有限状态并发程序是否满足其线性规范 我们提出了一种在有限状态并发程序上检查线性时序逻辑公式可满足性的算法。 该算法的运行时间与公式的大小成指数关系,而与检查结果的大小成线性关系。。。 -
第条 1985年1月 类型作为间隔 为了适应多态数据类型和操作,一些计算机科学家——最著名的是MacQueen、Plotkin和Sethi——提出将类型形式化为 理想 虽然这种方法在直觉上很有吸引力,但最终的类型系统是。。。 第条 1985年1月 无声明类型检查 传统的Milner-style多态类型检查器会自动推断函数类型和简单的复合对象(如元组)。 递归数据结构的类型(例如列表)必须由程序员通过抽象数据类型来定义。。。