停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第30届POPL 2003：美国路易斯安那州新奥尔良

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

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/2003年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/2003
亚历克斯·艾肯,格雷格·莫里塞特:
2003年POPL会议记录：第30届SIGPLAN-SIGACT编程语言原理研讨会，美国路易斯安那州新奥尔良，2003年1月15日至17日。 ACM公司 2003，国际标准图书编号1-58113-628-5

-ACM SIGPLAN通知38（1） 2003年1月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/SimeonW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/SimeonW03
杰罗姆·西蒙,菲利普·沃德勒:
XML的本质。 1-13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/AcarBH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AcarBH03
Umut A.Acar公司,盖伊·布莱洛赫,罗伯·哈波:
选择性记忆。 14-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/TahaN03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/TahaN03网址
瓦利德·塔哈,迈克尔·弗洛伦丁·尼尔森:
环境分类器。 26-37
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/JensenM03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/JensenM03
奥利·霍格·詹森,罗宾·米尔纳:
双图和过渡。 38-49
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/SchmittS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/SchmittS03
艾伦·施密特,珍妮·伯纳德·斯特凡尼:
m演算：一种高阶分布式进程演算。 50-61
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BouajjaniET03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BouajjaniET03网站
艾哈迈德·布阿贾尼,哈维尔·埃斯帕尔扎,泰西尔·图利:
使用过程对并发程序进行静态分析的通用方法。 62-73
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/GulwaniN03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/GulwaniN03
苏米特·古尔瓦尼,乔治·C·内库拉:
使用随机解释发现仿射等式。 74-84
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/TallamG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/TallamG03
斯里拉曼·塔勒姆,拉吉夫·古普塔:
支持位宽的全局寄存器分配。 85-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BallNR03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BallNR03
托马斯·鲍尔,马约尔·奈克,斯里拉姆·拉贾马尼:
从症状到原因：在反例跟踪中定位错误。 97-105
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CarterFT03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CarterFT03网址
赖瑞·卡特,珍妮·费兰特,克拉克·汤博森:
民间传说证实：可还原流图呈指数级放大。 106-114
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Chakaravarthy03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Chakaravarthy03网址
文卡特桑·查卡拉瓦尔西:
关于点到分析的可计算性和复杂性的新结果。 115-125
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ZibinG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ZibinG03
尤夫·齐宾,约瑟夫·吉尔:
动态类型语言中用于调度的增量算法。 126-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Thielecke03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Thielecke03网站
海约·蒂莱克:
从控制效果到类型化延续传递。 139-149
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/陈03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Chen03
陈刚（音译）:
构造演算的强制子类型。 150-159
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ZibinGC03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ZibinGC03
尤夫·齐宾,约瑟夫·吉尔,杰弗里·康斯丁:
简单类型同构的有效算法。 160-171
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/PetersenHCP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/PetersenHCP03
叶·彼得森,罗伯·哈波,卡尔·克莱里,弗兰克·普芬宁:
内存分配和数据布局的类型理论。 172-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HofmannJ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HofmannJ03
马丁·霍夫曼,斯特芬·乔斯特:
一阶函数程序堆空间使用的静态预测。 185-197
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Crary03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Crary03
卡尔·克莱里:
走向一种基本类型的汇编语言。 198-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BoyapatiLS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BoyapatiLS03
Chandrasekhar Boyapati公司,芭芭拉·利斯科夫,流坝神社:
对象封装的所有权类型。 213-223
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/XiCC03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/XiCC03
西红卫,陈赤燕,陈刚（音译）:
受保护的递归数据类型构造函数。 224-235
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/DreyerCH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/DreyerCH03
德里克·德雷尔,卡尔·克莱里,罗伯·哈波:
高阶模的一种类型系统。 236-249
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BartheCKL03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BartheCKL03
吉尔斯·巴特,Horatiu Cirstea公司,克洛德·基什内尔,路易吉·利科里:
纯模式类型系统。 250-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/博姆03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Boehm03网址
汉斯·尤根·博姆:
析构函数、终结器和同步。 262-272
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/GheorghioiuSR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/GheorghioiuSR03
奥维迪乌·古尔基奥,亚历山德鲁·萨尔恰努,马丁·里纳德:
静态对象预分配的过程间兼容性分析。 273-284
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/培根CR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BaconCR03
大卫·F·培根,程伊兵,V.T.拉詹:
具有低开销和一致利用率的实时垃圾收集器。 285-298

服务

管理网站设置

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