ACM编程语言和系统汇刊（TOPLAS），第13卷
第13卷第1期，1991年1月
Russell W.Quong先生 , 马克·林顿 :
增量链接程序。 1-20 帕斯卡·弗雷德 , 丹尼尔·勒·梅泰勒 :
通过程序转换编译函数语言。 21-51 理查德·沃特斯 :
序列表达式到循环的自动转换。 52-98 安东尼奥·布罗吉 , 保罗·西安卡里尼 
:
并发语言，共享Prolog。 99-123 赫利希 :
无等待同步。 124-149 马西莫·安科纳 , 加布里埃拉·多德罗 , 维托丽亚·贾努齐 , 莫尔加维 :
高效构建LR（k）状态和表。 ACM事务处理。 程序。 语言系统。 13 ( 1 ) : 150-178 ( 1991 )
第13卷第2期，1991年4月
马克·韦格曼 , F.肯尼思·扎德克 :
条件分支的恒定传播。 181-210 丹尼尔·耶林 , 罗伯特·斯特罗姆 :
INC：增量计算语言。 211-236 马丁·阿巴迪 , 鲁卡·凯德利 , 本杰明·皮尔斯 , 戈登·普洛金 :
静态类型语言中的动态键入。 237-268 保罗·哈达克 , 乔纳森·杨 :
收集表达式的解释。 269-290 Dhananjay M.Dhamdhere先生 :
Morel和Renvoise全局优化算法的实际适应性。 291-294
第13卷第3期，1991年7月
尤根·伯斯特勒（Jürgen Börstler） , 乌尔里希·莫恩克 , 莱因哈德·威廉姆 :
树自动机的表压缩。 295-314 斯科特·哈德森 :
增量属性评估：一种灵活的延迟更新算法。 315-341 罗纳德·莫里森 , 艾伦·迪尔 , 理查德·康纳 , 阿尔弗雷德·布朗 :
多态性实现的特殊方法。 342-371 托马斯·穆尔塔赫（Thomas P.Murtagh） :
一种改进的块结构语言存储管理方案。 372-398 吴旭鹏 , S.Purushothaman公司 :
通信有限状态机的数据流分析。 399-442
第13卷第4期，1991年10月
罗恩·塞特隆 , 珍妮·费兰特 , 巴里·罗森 , 马克·韦格曼 , F.肯尼斯·扎德克 :
高效计算静态单一赋值表和控制依赖图。 451-490 Jong-Deok Choi先生 , 巴顿·P·米勒 , 罗伯特·H·B·内泽 :
使用流回分析调试并行程序的技术。 491-530 蒂姆·谢尔德 :
抽象结构运算符的自动生成和使用。 531-557 爱德华·莱克拉马 , 瓦索斯·哈齐拉科斯 :
一种具有小通信变量的先到先服务互斥算法。 558-576 拉德哈·贾加迪桑 , 凯沙夫·平加里 , 普拉卡什·帕南加登 :
带逻辑变量的一阶函数语言的完全抽象语义。 577-625 诺曼·H·科恩 :
类型扩展类型测试可以在恒定时间内执行。 626-629 尼克劳斯·沃斯 :
回复“可在恒定时间内进行类型扩展测试”。 630 丹尼斯·沃尔帕诺 :
子类型和量化。 631-632 F.沃伦·伯顿 :
回复“子类型和量化”。 ACM事务处理。 程序。 语言系统。 13 ( 4 ) : 633 ( 1991 )
