默认搜索操作

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

问别人

APLAS 2007：新加坡

>主页 >会议和研讨会 >阿普拉斯

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/2007
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/2007
钟绍:
《编程语言与系统》，第五届亚洲研讨会，2007年APLAS，新加坡，2007年11月29日至12月1日，会议记录。计算机科学课堂讲稿4807,施普林格 2007，国际标准图书编号978-3-540-76636-0

受邀演讲1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/萨拉斯瓦特07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/Saraswat07网站
维杰·萨拉斯瓦特:
X10：现代架构的并发编程。 1

第1部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/ShroffSS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/ShroffSS07
帕里托什切洛夫,克里斯蒂安·斯卡尔卡,斯科特·F·史密斯:
掘金者：为程序验证提取高阶序。 2-18
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/GotsmanBCRS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/GotsmanBCRS07
亚历克谢·戈茨曼,乔什·伯丁,拜伦·库克,诺姆·里内茨基,穆利·萨吉夫:
可存储锁和线程的本地推理。 19-37
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/ChitilH07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/ChitilH07
奥拉夫·奇蒂尔,弗兰克·赫赫:
Haskell中的Monadic，即时懒惰断言。 38-53

第2部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/EmirMO07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/EmirMO07
伯拉克埃米尔,秦马,马丁·奥德斯基:
一阶面向对象模式匹配的翻译正确性。 54-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/Blaser07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/Blaser07
吕克·巴泽:
持久Oberon：一种集成持久性的编程语言。 71-85
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/Yu07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/Yu07
大川于:
用于保密的更多类型汇编语言。 86-104

第3部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/ZhaoGQC07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/ZhaoGQC07
赵玲忠,天龙谷,钱俊彦,蔡国勇:
基于调用模式语义的Prolog程序测试用例生成新方法。 105-121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/BrasselH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/BrasselH07
Bernd文胸,弗兰克·赫赫:
关于函数和逻辑编程的更紧密集成。 122-138

受邀演讲2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/DanosFFK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/DanosFFK07
文森特·达诺斯,杰罗姆·费雷特,沃尔特·丰塔纳,让·克里文:
细胞信号网络的可扩展模拟。 139-157

第4次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/BergerY07年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/BergerY07
马丁·伯杰,吉田信子:
定时、分布式、概率、类型化过程。 158-174
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/Goubault-LarrecqPT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/Goubault-LarrecqPT07
让·古堡-拉雷克,帕拉米德斯猫,安吉洛·特罗伊纳:
概率应用Pi-Calculus。 175-190
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/KikuchiK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/KikuchiK07
菊池大辅,小林直树:
通信协议通信断言的基于类型的验证。 191-205

第5部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/IgarashiI07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/IgarashiI07网址
Atsushi Igarashi先生,岩崎正史:
派生多层语言的编译器和虚拟机。 206-221
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/CaretteKS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/CaretteKS07
雅克·卡雷特,奥列格·基塞利约夫,Chung-chieh Shan公司:
最终无标签，部分评估。 222-238
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/AsaiK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/AsaiK07
浅井贤一,谷山由纪夫:
多形定界连词。 239-254

第6部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/CalcagnoDG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/CalcagnoDG07
克里斯蒂亚诺·卡尔卡尼奥,托马斯·丁斯代尔-杨,菲利普·加德纳:
树上下文逻辑中的辅助消除。 255-270
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/BerardiT07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/BerardiT07
斯特凡诺·贝拉迪,Makoto Tatsuta先生:
没有交换的正算术是一种次经典逻辑。 271-285
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/Abel07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/Abel07
安德烈亚斯·阿贝尔:
混合电感/共导体类型和强归一化。 286-301

受邀演讲3

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/Rajamani07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/Rajamani07网址
斯里拉姆·拉贾马尼:
静态和动态分析：更好地结合。 302

第7部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/Jones公司H07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/JonesH07
尼尔·D·琼斯,勒内·里多夫·汉森:
Coccinelle中“语义补丁”的语义：工作程序员的程序转换。 303-318
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/NieC07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/NieC07
酒涛聂,徐成:
一种高效的基于SSA的完全全局值编号算法。 319-334
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/PierroHW07文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/PierroHW07
亚历山德拉·迪·皮耶罗,克里斯·汉金,赫伯特·威克利基:
概率指针分析的系统方法。 335-350

第8部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/Pous07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/Pous07网址
达米安·普斯:
完整的格和Up-To技巧。 351-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/Tiu07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/Tiu07
Alwen Tiu先生:
Spi演算的基于轨迹的互模拟：扩展摘要。 367-382
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/ArandaGNV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/ArandaGNV07
杰苏斯·阿兰达,辛齐亚·迪·朱斯托,莫根斯·尼尔森,弗兰克·D·瓦伦西亚:
乔姆斯基层级中的CCS与复制：分歧的表现力。 383-398

第9部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/Kakutani07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/Kakutani07网址
川谷义彦:
正常模式逻辑中的按名称调用和按值调用。 399-414
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/Kimura07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/Kimura07网址
木村大辅:
Call-by-Value对Call-by-Name是双重的，Extended。 415-430

管理网站设置

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