SIGPLAN通知,第17卷,1982年
第17卷第1期,1982年1月
约瑟夫·高根 , 何塞·梅塞盖尔 :
多种等式逻辑的完备性。 9-17 布奇 :
清晰地命名子程序。 18-22 道格拉斯·迪克森 :
Pascal编译器测试工具。 23-26 Janusz W.拉斯基 :
目标不变量在程序结构中的应用。 27-36 哈伊姆·基洛夫 :
PL/I程序编写指南。 37-39 亚历克斯·拜卡特 :
PASCAL输入输出程序的扩展。 40-41 本贾尼·斯特劳斯特卢普 :
类:C语言的抽象数据类型工具。 42-51
第17卷第2期,1982年2月
郭忠泰 :
关于编程语言中参数传递技术的注释。 24-27 W.H.杰索普 :
Ada包和分布式系统。 28-36 加里·福特 , 布莱恩·阿尔弗雷德·汉斯 :
可选、可重复和可变类型参数。 41-48 T.N.罗伯茨 :
更多关于FORTRAN的位处理。 49-52 马克·斯科特·约翰逊 :
软件调试词汇表。 53-70
第17卷第3期,1982年3月
肯尼思·马格尔 :
小程序复杂性理论。 37-45 罗纳德·莫里森 :
字符串作为简单数据类型。 46-52 C.E.普拉尔 :
用于操作软件的PASCAL? 批判性检查。 53-57 诺曼·F·索特 :
定义软件科学计数策略。 58-67 罗杰·斯科文 :
标准句法元语言。 68-73 罗杰·S·斯科文 , 兹比格尼乌·齐卡诺维奇(Zbigniew Ciechanowicz) :
七种程序。 74-79 大卫·斯佩克特 :
复杂列表结构的最小开销垃圾收集。 80-82 P.van den Bosch公司 :
通过使用图形转换语言翻译编程语言。 83-92 彼得·范德林登 :
Ada中的模糊性和正交性。 93-94
第17卷第4期,1982年4月
大卫·R·迪采尔 , 劳埃德·迪克曼 :
1982年3月1日至3日,美国加利福尼亚州帕洛阿尔托市,编程语言和操作系统架构支持研讨会论文集。 美国计算机协会出版社 1982 ,国际标准图书编号 0-89791-066-4 [目录]
1982年5月第17卷第5期
Edsger W.Dijkstra :
我们如何说出可能伤人的真相? 13-15 大卫·R·巴拉赫 , 大卫·H·塔恩泽 :
在C语言程序中查找存储分配错误的技术。 16-23 马西莫·安科纳 , 加布里埃拉·多德罗 , 维托丽亚·贾努齐 :
使用Lookahead字符串的部分扩展构建LR(k)项集合。 24-28 毛罗·瓜佐 :
APL冷静下来。 29-37 莫里斯·E·克兰克 :
Pascal的单独编译工具。 38-46 格巴德·格雷特 :
数据类型理论。 47-53 布雷克·卡特 :
关于选择标识符。 54-59 理查德·霍尔特 :
并发欧几里得简介。 60-79 阮氏 , E.沃尔特·拉什内尔 :
用于模拟虚拟机的间接线程代码。 80-89 哈兰·塞弗 :
编译器测试集。 90-97
第17卷第6期,1982年6月
第17卷第7期,1982年7月
马尔科姆·P·阿特金森 , 肯尼斯·奇泽姆 , 保罗·科克肖特 :
PS-algol:具有持久堆的algol。 24-31 大卫·R·巴拉赫 , 大卫·H·塔恩泽 , 罗伯特·威尔斯 :
在C语言程序中查找存储分配错误的一种技术。 32-38 理查德·沃特斯 :
程序编辑器不应放弃面向文本的命令。 39-46 约瑟夫·帕克 :
一种新的LALR形式主义。 47-61 大卫·M·哈兰德 , 哈米什·伊·冈恩 :
再看一下枚举类型。 62-71 H.M.格拉德尼 :
如何打印时尚。 72-79 罗纳尔多·费舍 :
关于APL中使用unquote-operator进行GOTO-less编程的说明。 80-87 莱斯克 :
决策表英语被认为有害。 88
第17卷第8期,1982年8月
M.D.德容 , 克里斯·汉金 :
结构化数据流编程。 18-27 马丁·麦凯格 :
走向一种新的字符串处理语言。 28-33 格雷迪·G·厄尔 :
函数式编程和双向汇编程序。 34-42 大卫·斯佩克特 :
模块2中的模糊性和不安全性。 43-51 格雷戈里·希尔 :
深度嵌套IF-THEN-ELSE控制结构的改进。 52-56 卡雷尔·库利克 :
高级编程语言定义和程序的域正确性。 57-66 马克·琼斯 :
函数定义和参数处理的LISP规范的比较。 67-73
第17卷第9期,1982年9月
艾伦·佩利 :
编程铭文。 7-13 马蒂·奥·约基宁 :
参数传递和其他依赖于实现的机制的影响是不可忽视的。 16-17 柯蒂斯·R·库克 , R.R.Oldehoeft先生 :
一个面向字母的最小完美散列函数。 18-27 罗杰·萨姆纳 , R.E.Gleaves公司 :
Modula-2——帕斯卡问题的解决方案。 28-33 沃尔特·威尔逊 :
超越Prolog:语法软件规范。 34-43 保罗·皮沃沃斯基 :
嵌套级别复杂性度量。 44-50 蒂姆·伦奇 :
面向对象编程。 51-57 格巴德·格雷特 :
关于指定进程同步的语言概念的备注。 58-61 贾纳斯·W·拉斯基 :
关于数据流引导程序测试。 62-71 大卫·A·马卡 :
UNIX版本6的重复构造。 72-75 P.大卫·斯托茨 :
并发编程语言的比较调查。 76-87 罗杰·斯通 :
积分重现-铁路问题的历史。 88-94
第17卷第10期,1982年10月
马尔科姆·K·克罗 :
增量编译器。 13-22 肯尼思·马格尔 :
PASCAL问卷调查报告。 23-32 迈克尔·J·里斯 :
Pascal程序的自动评估辅助工具。 33-42 布鲁斯·麦克伦南 :
应用语言的一个简单、自然的概念。 43-49 P.大卫·斯托茨 :
并发编程语言的比较调查。 50-61 梅耶尔 , 安东·尼霍尔特 :
《1970年以来的译者写作工具:选择性参考书目》(1982年6月)。 62-72 F.E.J.克鲁斯曼·阿雷茨 :
ISO Pascal标准的语法图。 73-78
第17卷第11期,1982年11月
保罗·D·古瑟斯 :
通用编程语言歧义。 7-10 卡尔·L·彭兹林 :
评论的语法:讨论和建议。 11-13 肯特·卡尔松 , 肯特·彼得森 :
摘自:Aspenäs函数语言与计算机体系结构研讨会。 14-23 史蒂文·达夫 :
SNOBOL4缓冲区案例。 24-30 林赛·格罗夫斯 :
使用简单的英语句子调用程序。 31-38 埃里克·莱维 :
反对帕斯卡作为教学工具的案例。 39-41 艾伦·J·佩恩 :
项目变化率的依据。 42-44 埃利斯-科恩 :
面向文本的结构用于结构编辑器的命令。 45-49 尤里·利特文 :
数据流机器的并行进化编程语言。 50-58
第17卷第12期,1982年12月
科林·伯格斯 , 劳伦斯·詹姆斯 :
LR语法和语法分析器的修订索引书目。 18-26 大卫·E·博迪 :
结构化APL的样式。 27-30 罗伯特·凯里奥 :
如何避免被帕斯卡绊倒。 31-40 罗伯特·保罗·科贝特 :
Fortran的增强算法。 41-48 利奥·盖尔茨 :
B编程语言概述-或:B without Tears。 49-58 H.M.格拉德尼 :
关于枚举的注释。 59-64 大卫·M·哈兰德 :
子类型与具有子范围约束的细胞稳定性。 65-69 布鲁斯·麦克伦南 :
编程语言中的值和对象。 70-79 迈克尔·怀斯 :
EPILOG=PROLOG+数据流:将PROLOG与数据驱动机制结合的参数。 80-86