美国计算机学会程序设计语言与系统汇刊(TOPLAS),第24卷
第24卷第1期,2002年1月
李培宗 , Zvi M.凯登 :
分布式存储并行计算机上的自动数据和计算分解。 1-50 托马斯·汉津格 , 沙兹·卡迪尔 , 斯里拉姆·拉贾马尼 , 塞尔达尔·塔西兰 :
用于检查模拟的假设保证规则。 51-64 Yunheung Paek公司 , 杰·佩·霍夫林格 , 大卫·A·帕多瓦 :
高效准确的阵列访问分析。 65-109
第24卷第2期,2002年3月
凯瑟琳·费舍尔 , 本杰明·皮尔斯 :
嘉宾评论。 111 克里斯托弗联盟 , 钟绍 , 瓦列里·特里福诺夫 :
Featherweight Java的类型保护编译。 112-152 索菲亚·德罗索波卢 , 费鲁西奥·达米亚尼 , Mariangiola Dezani-Ciancaglini公司 , 保拉·贾尼尼 :
更动态的对象重新分类:Fickle || . 153-191
第24卷第3期,2002年5月
第24卷第4期,2002年7月
塞巴斯蒂安·昂格 , 弗兰克·米勒 :
处理不可约循环:与DJ-graphs相比,优化了节点分割。 299-333 马克·范登·布兰德 , 简·海林 , 保罗·克林特 , 彼得·奥利维尔 :
编译语言定义:ASF+SDF编译器。 334-368 克里斯蒂安·科尔伯格 :
编译器机器描述的自动派生。 369-408 玛尔塔·吉梅内斯 , 何塞·M·拉贝里亚 , 阿古斯汀·费尔南德斯 :
非矩形迭代空间中的寄存器平铺。 409-453
第24卷第5期,2002年9月
G.拉马林加姆 :
在循环、支配者和支配边界上。 455-490 K.鲁斯坦·莱诺 , 格雷格·纳尔逊 :
数据抽象和信息隐藏。 491-553 亚瑟·查尔斯沃思 :
结合性和交换性分析的不确定性。 554-565 马修·轩尼诗 , 詹姆斯·里利 :
异步像素中的信息流与资源访问。 566-591
第24卷第6期,2002年11月
马丁·赫泽尔 , 艾默·迪万 , 约翰内斯·汉克尔 :
关于垃圾收集和泄漏检测的类型和活性准确性的有用性。 593-624 弗兰克·蒂普 , 彼得·斯威尼 , 克里斯·拉夫拉 , 阿尔多·艾斯玛 , 大卫·斯特雷特 :
Java的实用提取技术。 625-666 杨明慧 , Gang Ryung呃 , 大卫·B·威利 :
使用配置文件数据高效地重新排序分支。 667-697 拉斐尔·科丘埃洛 , 何塞·安东尼奥·佩雷斯 , 安东尼奥·鲁伊斯·科尔特斯 , 米盖尔·托罗 :
正在修复LR解析器中的语法错误。 698-710 多米尼克·达根 :
使用递归DLL和共享库进行类型安全链接。 711-804