停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2018年PPDP：德国法兰克福

>主页 >会议和研讨会 >PPDP（PPDP）

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@acm.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ppdp/2018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/2018
大卫·萨贝尔,彼得·蒂曼:
2018年9月3日至5日，德国法兰克福，第20届国际声明性编程原则与实践研讨会论文集，PPDP 2018。 ACM公司 2018
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Gardner18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Gardner18
菲利普·加德纳:
JaVerT：JavaScript验证和测试框架：邀请谈话。 1:1-1:4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Shan18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Shan18
Chung-chieh Shan公司:
计算分配。 2:1-2:5
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Benton公司18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Benton18
尼克·本顿:
HHVM字节码的语义等价性检查。 3:1-3:8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/AdelsbergerSW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/AdelsbergerSW18
斯蒂芬·阿德尔斯伯格,安东·塞泽尔,埃里克·沃尔金肖:
声明性GUI：简单、一致且经过验证。 4:1-4:15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/AnnenkovE18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/AnnenkovE18
丹尼尔·安尼科夫,马丁·埃尔斯曼:
经认证的财务合同汇编。 5:1-5:13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/BarenbaumBM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/BarenbaumBM18
巴勃罗·巴伦鲍姆,爱德华多·博内利,卡里姆·穆罕默德:
模式匹配和固定点：资源类型和强大的按需调用：扩展抽象。 6:1-6:12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/BendkowskiL18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/BendkowskiL18
马西耶·本德考斯基（Maciej Bendkowski）,皮埃尔·莱斯坎:
显式替换的组合数学。 7:1-7:12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Breuvart公司18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/BreuvartL18
弗拉维恩·布鲁瓦特,乌戈·达尔·拉戈:
交集类型与概率Lambda演算。 8:1-8:13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/违禁品18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/ContrastinOR18
Mistral Contrastin公司,多米尼克·A·乌节（Dominic A.Orchard）,安德鲁·赖斯:
为数据日志的数据流安全自动重新排序。 9:1-9:17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/DangK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/DangK18
阿披舍克党,皮尤什·库鲁尔:
Verse：加密原语的EDSL。 10:1-10:9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/SantosMGDG18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/SantosMGDG18
何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,Théotime Grohens公司,朱利安·杜比,菲利普·加德纳:
JavaScript的符号执行。 11:1-11:14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/哈努斯18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Hanus18
迈克尔·哈纳斯:
验证无故障声明程序。 12:1-12:13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/KlemenS0MH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/KlemenS0MH18
马克西米利亚诺·克莱门,纳塔利娅·斯图洛娃,佩德罗·洛佩斯·加西亚,何塞·F·莫拉莱斯,曼纽尔·埃尔梅内吉尔多:
带有运行时检查的程序的静态性能保证。 13:1-13:13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/MadsenL18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/MadsenL18
马格努斯·马德森,Ondrej Lhoták:
逻辑编程的隐式参数。 14:1-14:14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/NadathurW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/NadathurW18
戈帕兰·纳达图尔,王玉亭:
阿贝拉证明助手中的示意多态性。 15:1-15:13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/NishidaI18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/NishidaI18
Yuki Nishida公司,Atsushi Igarashi先生:
不确定清单合同。 16:1-16:13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/PardoGPV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/PardoGPV18
阿尔贝托·帕尔多,伊曼纽尔·冈瑟,米盖尔·帕加诺,马科斯·维埃拉:
正确构造编译器的内部方法。 17:1-17:12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/RozplokhasB18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/RozplokhasB18
德米特里·罗兹普洛哈斯,德米特里·布莱切夫:
通过发散检验提高关系搜索的拒绝完备性。 18:1-18:13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/SakanashiS18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/SakanashiS18
Genki Sakanashi先生,酒井正彦:
用扩展SQL编写的组合优化问题到约束问题的转换。 19:1-19:13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Schmidt-Schauss18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Schmidt-Schauss18
Manfred Schmidt Schauß,大卫·萨贝尔,尼尔斯·达尔梅耶:
并发函数编程语言中的顺序和并行改进。 20:1-20:13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/SeidlV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/SeidlV18
赫尔穆特·塞德尔,拉尔夫·福格勒:
自顶向下解算器的三项改进。 21:1-21:14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/SulzmannS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/SulzmannS18
马丁·苏尔兹曼,凯·斯塔特米勒:
基于向量时钟的消息传递Go程序的两阶段动态分析。 22:1-22:13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Terao18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Terao18
Taku Terao公司:
用于高阶程序验证的惰性抽象。 23:1-23:13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/格雷韦EPM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/GreweEPM18
西尔维娅·格雷,塞巴斯蒂安·埃德韦格,安德烈·帕克,米拉·梅齐尼:
系统描述：将领域知识与自动定理证明器相结合的基础结构。 24:1-24:10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/NogatzKS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/NogatzKS18
法尔科·诺加茨,乔纳·卡尔库斯,迪特马尔·塞佩尔:
使用Prolog元解释器实现基于Web的定冠词语法可视化：系统描述。 25:1-25:10

服务

管理网站设置

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