停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

1987年第14届POPL：德国慕尼黑

>主页 >会议和研讨会 >POPL公司

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@acm.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/popl/1987
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/1987
1987年1月21日至23日在德国慕尼黑举行的第十四届ACM编程语言原则年度研讨会的会议记录。美国计算机协会出版社 1987，国际标准图书编号0-89791-215-2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/MannaP87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/MannaP87
佐哈尔·曼纳,阿米尔·普努利:
用Forall自动机规范和验证并发程序。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HerlihyW87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HerlihyW87
赫利希,珍妮特·温格（Jeannette M.Wing）:
并发对象公理。 13-26
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/WidomGS87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/WidomGS87
珍妮弗·维多姆,格里斯,弗雷德·施耐德:
基于痕迹的网络证明系统的完整性和不完整性。 27-38
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Jouvelot公司87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Jouvelot87
皮埃尔·朱弗洛特:
语义平行化：抽象解释的实践练习。 39至48
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/萨拉斯瓦特87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Saraswat87
维杰·萨拉斯瓦特:
并发逻辑程序设计语言CP：定义和操作语义。 49-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/AllenCK87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AllenCK87
兰迪·阿伦,大卫·卡拉汉,肯·肯尼迪:
并行执行科学程序的自动分解。 63-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KohlbeckerW87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KohlbeckerW87
尤金·科尔贝克,米切尔·旺德:
宏实例：从其规范派生句法转换。 77-84
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CaiP87文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CaiP87
蔡佳珍,罗伯特·佩奇:
语言设计时的绑定性能。 85-97年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/GelernterJL87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/GelernterJL87
大卫·盖勒特,苏雷什·贾甘纳森,托马斯·伦敦:
作为一类对象的环境。 98-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/JaffarL87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/JaffarL87
佐克森·贾法尔,Jean-Louis Lassez女士:
约束逻辑编程。 111-119
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Nielson公司87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Nielson尼尔森87
弗莱明·尼尔森:
严格性分析与指称性抽象解释。 120-131
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HallW87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HallW87
Cordelia V.霍尔,大卫·S·怀斯:
将严格性编译为流。 132-143
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KuoM87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KuoM87
宗敏国,Prateek Mishra公司:
论严格及其分析。 144-155
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/MoshierR87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/MoshierR87
Drew Moshier先生,威廉·C·罗兹:
部分指定数据结构的逻辑。 156-167
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Chase公司87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Chase87
大卫·R·蔡斯:
自下而上树模式匹配的改进。 168-177
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CaspiPHP87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CaspiPHP87
保罗·卡斯皮,丹尼尔·皮劳,尼古拉斯·哈尔巴赫斯,约翰·普莱斯:
Lustre：同步系统编程的声明性语言。 178-188
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/AptFK87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AptFK87
Krzysztof R.Apt公司,尼西姆·弗朗西兹,Shmuel Katz先生:
评估分布式编程语言的公平性。 189-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Stark87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Stark87
尤金·W·斯塔克:
过程网络的并发转换系统语义。 199-210
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Oles87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Oles87
弗兰克·J·奥利斯:
没有Powerdomains的并发语义。 211-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/汇聚GR87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HuizingGR87
科尼莉斯·惠泽,罗布·格思,威廉·德罗弗:
Occam类语言实时表示语义的完整抽象。 223-237
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/TannenM87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/TannenM87
瓦尔·坦宁,阿尔伯特·梅耶:
可计算值可以是经典值。 238-245
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/LeivantF87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/LeivantF87
丹尼尔·利万特,蒂姆·费尔南多:
相对完整性的瘦弱和肉质缺陷。 246-252
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/MeyerMMS87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/MeyerMMS87
阿尔伯特·梅耶,约翰·米切尔,尤金尼奥·莫吉,理查德·斯塔特曼:
多形Lambda微积分中的空类型。 253-262
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BernsteinJR87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BernsteinJR87
大卫伯恩斯坦,杰弗里·贾菲,迈克尔·罗德:
无溢出的并行调度算法和负载操作。 263-273
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/NeirynckPD87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/NeirynckPD87
安妮·奈瑞克,普拉卡什·帕南加登,阿兰·德默斯:
别名和支持集的计算。 274-283
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/LeeP87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/LeeP87
李忠琛,乌韦·F·普列班:
基于高层语义的真实编译器生成器。 284-295
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CheritonW87文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CheritonW87
大卫·R·切里顿,迈克尔·E·沃尔夫:
传统编程语言中多模块记录的扩展。 296-306
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Wadler87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Wadler87网址
菲利普·沃德勒:
视图：一种通过数据抽象实现模式匹配的方法。 307-313
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/FelleisenF87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/FelleisenF87网址
马提亚斯·费莱森,丹尼尔·弗里德曼:
高阶语言赋值的微积分。 314-325

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。