停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2016年第14届APLAS：越南河内

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/2016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/2016
Atsushi Igarashi先生:
编程语言和系统-第14届亚洲研讨会，2016年APLAS，越南河内，2016年11月21日至23日，会议记录。计算机科学课堂讲稿10017,2016，国际标准图书编号电话：978-3-319-47957-6

邀请报告

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/DeYoung第16页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/DeYoungP16
亨利·德扬，弗兰克·普芬宁:
作为自动机的子结构证明。 3-22

验证与分析I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/ChaJO16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/ChaJO16
苏英查，Sehun Jeong公司，Hakjoo噢:
学习从大型代码库中选择加宽阈值的策略。 25-41
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/TanTGN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/TanTGN16
贾其坦，许俊泰，拉吉夫·甘地，Priya Narasimhan公司:
AUSPICE-R：机器代码中真实特征的自动安全属性证明。 42-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/AbeM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/AbeM16
安倍达也，前田俊彦:
松弛内存一致性模型的基于观察的并发程序逻辑。 63-84

过程微积分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/TiuNH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/TiuNH16
Alwen Tiu先生，南阮，罗斯·霍恩:
SPEC：安全协议的等效检查器。 87-95
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/Huttel16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/Huttel16
汉斯·海特尔:
Psi-Calculi的二进制会话类型。 96-115
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/StadtmullerST16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/StadtmullerST16
凯·斯塔德穆勒，马丁·苏尔兹曼，彼得·蒂曼:
基于静态跟踪的同步Mini-Go死锁分析。 116-136

分析和调试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/RosaCB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/RosaCB16
安德里亚·罗萨，Lydia Y.Chen女士，沃尔特·宾德:
AkkaProf：并行和分布式应用中Akka参与者的剖析器。 139-147年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/AraiSI16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/AraiSI16
Ryoya Arai先生，佐藤茂由纪夫（Shigeyuki Sato），岩崎秀也:
Python中的调试器协同高阶契约系统。 148-168

λ-微积分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/YachiS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/YachiS16
太极雅池，Eijiro Sumii公司:
用Call/cc实现\lambda-Calculus中上下文等价的一个合理而完整的互模拟。 171-186
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/DoughertydLS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/DoughertydLS16
丹尼尔·道尔蒂，乌戈·德利古罗，路易吉·利科里，克劳德·斯托尔泽:
交集和并集类型的可实现性解释。 187-205
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/Accattoli公司16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/AccattoliG16
贝尼亚米·阿卡托利，朱利奥·格雷里:
打开Call-by-Value。 206-226

类型理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/HonsellLLS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/HonsellLLS16
福里奥·霍塞尔，玛丽娜·莱尼萨，路易吉·利科里，伊凡·斯卡格内托:
实施坎托天堂。 229-250
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/YangBO16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/YangBO16
杨燕鹏，玄壁，布鲁诺·C·d·S·奥利维拉:
具有Iso-types的统一语法。 251-270
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/KiselyovKS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/KiselyovKS16
奥列格·基塞利约夫，谷山由纪夫，Yuto Sudo公司:
使用可变单元生成精炼环境分类器-类型和范围安全代码。 271-291

验证与分析II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/TeraoT016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/TeraoT016
Taku Terao公司，津田武史，小林直树:
直接样式中的高阶模型检查。 295-313
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/RaadHVG16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/RaadHVG16
杜鹃花，阿奎那·霍伯，朱尔斯·维拉德，菲利普·加德纳:
验证并发图算法。 314-334
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/YasukataT016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/YasukataT016
Yasukata先生，津田武史，小林直树:
用动态资源创建验证高阶并发程序。 335-353

程序设计范式

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/Kiselyov16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/Kiselyov16
奥列格·基塞利约夫:
概率编程语言及其增量计算。 357-376
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/RadanneVB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/RadanneVB16
加布里埃尔·拉丹，杰罗姆·沃伊隆，文森特·巴拉特:
Eliom：一种用于无层Web编程的核心ML语言。 377-397

分离逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/RaadSG16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/RaadSG16
杜鹃花，何塞·弗拉戈索·桑托斯，菲利普·加德纳:
DOM：规范和客户推理。 401-422
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/TatsutaLC16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/TatsutaLC16
Makoto Tatsuta公司，广乐路，魏恩甘钦:
带有归纳定义和Presburger算法的分离逻辑的决策过程。 423-443
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/HouT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/HouT16
哲侯，Alwen Tiu先生:
一阶抽象分离逻辑的完备性。 444-463

服务

管理网站设置

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