默认搜索操作

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

问别人

第五届POPL 1978：美国亚利桑那州图森

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@acm.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/popl/1978年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/1978
阿尔弗雷德·阿霍,斯蒂芬·齐勒斯,托马斯·希曼斯基:
1978年1月于美国亚利桑那州图森市举行的第五届美国计算机学会编程语言原理年会会议记录。美国计算机协会出版社 1978
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/GuibasW78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/GuibasW78
列奥尼达斯·吉巴斯,道格拉斯·怀亚特:
APL中的编译和延迟评估。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/英格尔78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Ingalls78
丹尼尔·英格尔斯:
Smalltalk-76编程系统。 9-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/AshcroftW78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AshcroftW78
爱德华·阿什克罗夫特,威廉·沃奇:
子句：Lucid中的范围结构和定义函数。 17-22
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/DemersDS78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/DemersDS78
阿兰·德默斯,詹姆斯·多纳休,格伦·斯金纳:
作为值的数据类型：多态性、类型检查、封装。 23-30
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Solomon78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Solomon78
马文·所罗门:
带参数的类型定义。 31-38
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Reynolds78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Reynolds78
约翰·雷诺兹:
干扰的句法控制。 39-46
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Rosen78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Rosen78
巴里·罗森:
用于快速数据流分析的单体。 47-59
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KaplanU78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KaplanU78
马克·卡普兰,杰弗里·D·厄尔曼:
变量类型自动推断的一般方案。 60-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Reif78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Reif78
约翰·雷夫:
几乎线性时间的符号规划分析。 76-83
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CousotH78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CousotH78
帕特里克·库索特,尼古拉斯·哈尔巴赫斯:
程序变量间线性约束的自动发现。 84-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/约翰逊78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Johnson78
斯蒂芬·约翰逊:
便携式编译器：理论与实践。 97-104
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/德国78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/German78网址
史蒂文·M·德文:
自动证明没有常见运行时错误。 105-118
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/GordonMMNW78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/GordonMMNW78
迈克尔·J·C·戈登,罗宾·米尔纳,F.洛克伍德莫里斯,马尔科姆·C·纽伊,克里斯托弗·沃兹沃思:
LCF中用于交互式证明的元语言。 119-130
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CartwrightO78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CartwrightO78
罗伯特·卡特赖特,德里克·奥本:
霍尔逻辑中的无限制过程调用。 131-140
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/NelsonO78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/NelsonO78
查尔斯·尼尔森,德里克·奥本:
一种基于高效决策算法的简化器。 141-150
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Oppen78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Oppen78
德里克·奥本:
递归定义数据结构的推理。 151-157
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Downey SS78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/DowneySS78
彼得·唐尼,萨姆特,拉维·塞蒂:
推导等式的离线和在线算法。 158-170
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Mizell78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Mizell78
大卫·W·米泽尔:
“真正”并发的验证和设计方面。 171-175
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Culik78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Culik78
卡雷尔·库利克:
基于许可方案的几乎无控制（不确定）并行计算。 176-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/OgdenRR78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/OgdenRR78
威廉·奥格登,威廉·里德尔,威廉·C·罗兹:
允许并发的表达式的复杂性。 185-194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Haraldsson78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Haraldsson78
安德斯·哈拉尔德森:
部分求值器，用于编译Lisp中的迭代语句。 195-202
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HarelP78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HarelP78
哈雷尔,沃恩·R·普拉特:
程序逻辑中的不确定性。 203-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Kosinki78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Kosinki78
保罗·科辛基:
非确定性数据流程序的直接表示语义。 214-221
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/PrabhalaS78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/PrabhalaS78
巴斯卡拉姆·帕巴拉,拉维·塞蒂:
具有公共子表达式的表达式的有效计算。 222-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/GlanvilleG78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/GlanvilleG78
R.史蒂文·格兰维尔,苏珊·格雷厄姆:
一种新的编译器代码生成方法。 231-240
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/PennelloD78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/PennelloD78
托马斯·佩内洛,弗兰克·德雷默:
一种用于LR错误恢复的前向移动算法。 241-254
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/JoshiLY78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/JoshiLY78网址
阿拉文德·乔希,利昂·S·利维,康岳:
程序设计语言的语法和语义中的局部约束。 255-264

管理网站设置

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