默认搜索操作

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

问别人

第11届POPL 1984：美国犹他州盐湖城

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@acm.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/popl/1984
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/1984
肯·肯尼迪,玛丽·范·德森,拉里·兰德韦伯:
1984年1月于美国犹他州盐湖城举行的第十一届美国计算机学会编程语言原理年会会议记录。美国计算机协会出版社 1984，国际标准图书编号0-89791-125-3
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Waters84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Waters84
理查德·沃特斯:
表达循环。 1-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Osser84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Osser84
哈罗德·奥斯舍:
网格：一种基于分层图的新程序结构机制。 11-22
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Smith84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Smith84网址
布莱恩·坎特韦尔·史密斯:
Lisp中的反射和语义。 23-35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/RepsA84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/RepsA84
Thomas W.代表,博文阿尔卑斯山:
交互式校对。 36-45
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/FrancezK84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/法国K84
尼西姆·弗朗西兹,德克斯特·科赞:
广义公平终止。 46-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ShashaPE84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ShashaPE84
丹尼斯·沙沙,阿米尔·普努利,W.埃瓦尔德:
载波感知局域网协议的时间验证。 54-65
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Myers84公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Myers84网址
尤金·迈尔斯:
高效适用的数据类型。 66-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/泰尔84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Thiel84
珍妮·雅克·泰尔:
停止因数据类型规范不完整而失去睡眠。 76-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/JouannaudK84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/JouannaudK84
Jean-Pierre Jouannaud女士,赫莱内·基什内尔:
完成一组规则模一组方程。 83-92
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Shapiro84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Shapiro84
胡德·沙皮罗:
并行Prolog中的系统编程。 93-105
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/乐队84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Bandes84
罗伯特·班德斯:
约束统一和编程语言独角兽。 106-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HoffmannO84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HoffmannO84
克里斯托夫·霍夫曼,迈克尔·奥唐纳:
抽象方程解释器的实现。 111-121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HudakK84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HudakK84
保罗·哈达克,大卫·A·克兰兹:
函数语言的基于组合器的编译器。 122-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/SchwarzR84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/SchwarzR84
杰拉德·S·施瓦兹,鲁宾院长:
处理-适用的代码生成器。 133-139
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Wilhelm84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Wilhelm84
莱因哈德·威廉姆:
属性语法的逆Currying变换。 140-147
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/RaoultS84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/RaoultS84
Jean-Claude拉乌尔,拉维·塞蒂:
子计算的全局存储需求。 148-157
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Wand84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Wand84
米切尔·旺德:
Milner-Style多态的Types-as-Sets语义。 158-164
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/MacQueenPS84配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/MacQueenPS84
大卫·B·麦昆,戈登·普洛金,拉维·塞蒂:
递归多态类型的理想模型。 165-174
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Mitchell84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Mitchell84
约翰·米切尔:
强制和类型推理。 175-185
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Nix84型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Nix84
罗伯特·尼克斯:
通过示例编辑。 186-195
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/MilosPL84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/MilosPL84
唐·米洛斯,乌韦·F·普列班,乔治·勒格尔:
编译器规范的直接实现或Pascal P代码编译器重温。 196-207
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Sherman84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Sherman84网址
马克·谢曼:
段落：类型层次结构在数据抽象中的新用途。 208-217
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/约翰逊84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Johnson84
史蒂文·约翰逊:
应用程序设计和数字设计。 218-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/SubrahmanyamY84型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/SubrahmanyamY84
P.A.Subrahmanyam先生,嘉惠游:
模式驱动的懒惰减少：功能和逻辑程序的统一评估机制。 228-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/MishraK84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/MishraK84
普拉提克·米什拉,罗伯特·凯勒:
应用程序属性的静态推断。 235-244
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HalpernMT84公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HalpernMT84网址
约瑟夫·哈珀（Joseph Y.Halpern）,阿尔伯特·梅耶,鲍里斯·特拉赫滕布罗特:
本地存储的语义，或是什么使免费列表免费？ 245-257
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Grabowski84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Grabowski84
米查尔·格拉博夫斯基:
论程序设计逻辑的相对完备性。 258-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Halpern84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Halpern84
约瑟夫·哈珀（Joseph Y.Halpern）:
类算法语言的良好Hoare公理系统。 262-271
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Warren84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Warren84网址
乔·D·沃伦:
重新排序变换的层次基础。 272-282
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Murtagh84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Murtagh84网址
托马斯·穆尔塔赫（Thomas P.Murtagh）:
类算法语言的一种动态内存分配方案。 283-289
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/铃木T84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/铃木T84
铃木Norihisa,寺田农:
为面向对象语言创建高效系统。 290-296
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/德国S84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/DeutschS84
L.Peter Deutsch公司,艾伦·M·希夫曼:
Smalltalk-80系统的高效实施。 297-302

管理网站设置

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