第18届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录

POPL'91：第18届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录

1991年1月

阅读更多信息

1991年诉讼

主席：
大卫·怀斯
布卢明顿印第安纳大学

出版商：

计算机协会
纽约
纽约州
美国

会议：

POPL91：第18届ACM SIGACT-SIGPLAN编程语言原理研讨会奥兰多佛罗里达州美国1991年1月21日至23日

国际标准图书编号：

978-0-89791-419-2

出版：

1991年1月3日

赞助商：

SIGPLAN（SIGPLAN）,SIGACT公司

下次会议

2025年1月19日至25日

丹佛，有限公司，美国

文献计量学

摘要

没有可用的摘要。

全选

引文输出保存到活页夹

引用人

Talbot P 2019年第21届编程语言原理与实践国际研讨会时空编程会议记录，（1-16）

贡献者

大卫·斯蒂芬·怀斯
印第安纳大学布卢明顿分校
- 出版年份1971 - 2007
- 出版物计数45
- 引文计数763
- 可供下载31
- 下载次数（累计）15,264
- 下载次数（12个月）1042个
- 下载次数（6周）88
- 每篇文章的平均下载量492
- 每篇文章的平均引文数17
查看完整配置文件

索引术语

第18届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录
1. 软件及其工程
  1. 软件符号和工具
    1. 编译器
    2. 通用编程语言
      1. 语言特点
      2. 语言类型
2. 计算理论
  1. 语义和推理
    1. 程序构造
    2. 程序语义

建议

接受率

91年流行纸张接受率31属于152提交文件，20%总体验收率824属于4,130提交文件，20%

年份	提交	认可的	费率
流行'15	227	52	23%
2014年流行音乐	220	51	23%
04年流行	176	29	16%
03年流行音乐	126	24	19%
流行'02	128	28	22%
POPL'01年	126	24	19%
POPL'00系列	151	30	20%
流行'99	136	24	18%
98年流行	175	32	18%
97年流行音乐	225	36	16%
96年流行	148	34	23%
94年流行音乐	173	39	23%
93年流行	199	39	20%
92年流行	204	30	15%
91年流行	152	31	20%
89年流行	191	30	16%
88年流行音乐	177	28	16%
87年流行	108	29	27%
83年流行	170	28	16%
82年流行	121	38	31%
81年流行音乐	121	24	20%
79年流行	146	27	18%
78年流行音乐	135	27	20%
77年流行音乐	105	25	24%
流行'76	90	20	22%
流行'75	100	23	23%
流行'73	100	22	22%
总体	4,130	824	20%

POPL公司

小节

增量计算理论及其应用

静态和动态语义处理

如何降低破坏性更新的破坏性

论基于抽象解释的严格性分析的威力与局限性

高阶多态函数严格性分析的关系方法

稀疏数据流评估图的自动构造

依赖流图：程序依赖的代数方法

使用习惯用法进行程序优化和并行化

指针引起的混叠：一种问题分类

子类型递归类型

高阶lambda演算类型推理的复杂性

基于对称级联的记录演算

听着，没有散列，也没有数组

有效的宏

在ML中键入一级延续

部分连续的动态范围控制算子

无延续的延续模型

具有协调结构的并行编程

协调一阶多方互动

与定向逻辑变量的通信

参数传递与lambda演算

功能语言之间的完全抽象翻译

弱lambda-calculi和正交项重写系统中的最优导数

带有子类型和继承的标准ML模块的扩展

动态类型语言中的静态类型推理

多态类型推理与赋值

类型和效果的代数重建

使用几何体建模并发

组合和细化的逻辑视图

并发约束编程的语义基础

引用人

索引术语

POPL'04：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录

POPL’14：第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录

POPL'05：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录

接受率