默认搜索操作

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

问别人

第十届CPP 2021：虚拟活动，丹麦

>主页 >会议和研讨会 >清洁石油产品

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/2021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/2021
Catalin Hritcu公司,安德烈·波佩斯库:
CPP’21：第十届ACM SIGPLAN认证程序和证明国际会议，虚拟活动，丹麦，2021年1月17日至19日。 ACM公司 2021，国际标准图书编号978-1-4503-8299-1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/Nipkow21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/Nipkow21
托比亚斯·尼普科:
与证明助理一起教授算法和数据结构（受邀演讲）。 1-3
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/Sewell公司21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/Sewell21
彼得·苏厄尔:
支撑基础：基于sail的生产和支持CHERI的架构的语义、测试和推理（受邀演讲）。 4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/TassarottiV0T21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/TasarottiV0T21
约瑟夫·塔萨洛蒂,库恩迪亚·金贾,安妮迪亚·班纳吉,Jean-Baptiste特里斯坦:
决策树桩PAC可学习性的正式证明。 5-17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/VajjhaSTPF21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/VajjhaSTPF21
库恩迪亚·金贾,Avraham Shinnar公司,巴里·M·特拉格,瓦西里·佩斯顿,内森·富尔顿:
CertRL：形式化Coq中值和策略迭代的收敛证明。 18-31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/Myreen21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/Myreen21
马格努斯·O·米林:
一个简约的验证引导编译器（proof pearl）。 32-45
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/Louw21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/Louw21
安德烈亚斯·洛夫:
Lutsig：用于验证电路开发的验证Verilog编译器。 46-60
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/DesharnaisB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/DesharnaisB21
马丁·德沙奈斯,斯特凡·布伦塔勒:
面向高效且经过验证的动态语言虚拟机。 61-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/VindumB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/VindumB21网址
西蒙·弗里斯·文杜姆,拉尔斯·比克达尔:
迈克尔·斯科特队列的上下文细化（证明珍珠）。 76-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/Timany公司B21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/TimanyB21
阿明·蒂曼尼,拉尔斯·比克达尔:
关于分离逻辑中单调性的推理。 91-104
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/AnnenkovMNS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/AnnenkovMNS21
丹尼尔·安尼科夫,米克尔·米洛,雅各布·博茨赫·尼尔森,低音喷溅:
提取Coq中测试和验证的智能合约。 105-121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/MiraldoCMSS21文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/MiraldoCMSS21
维克多·卡奇亚里·米拉尔多,哈罗德·卡尔,马克·莫尔,利桑德拉·席尔瓦,盖伊·斯蒂尔（Guy L.Steele Jr.）。:
正式验证Agda中经过验证的仅附加跳过列表。 122-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/ChakTA21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/ChakTA21网址
克里斯·切克,安德鲁·托尔马赫,肖恩·诺布尔·安德森:
实现基于标记的策略实施的正式验证编译。 137-151
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/BenzakenCCKZ21文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/BenzakenCKZ21
维罗尼克·本扎肯,莎拉·科恩·布拉基亚,伊芙琳·孔特让,香塔尔·凯勒,雷贝卡·祖奇尼:
数据来源的Coq形式化。 152-162
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/开始CM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/BegayCM21
皮埃尔·莱奥·贝盖,皮埃尔·克雷古特,Jean-François Monin女士:
在coq/mathcomp中开发和验证数据日志优化。 163-177
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/HinrichsenLKB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/HinrichsenLKB21
乔纳斯·卡斯伯格-辛里希森,丹尼尔·卢林克,罗伯特·克雷伯斯,杰斯珀·本特森:
机器检查的语义会话类型。 178-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/Limperg21号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/Limperg21
詹妮斯·林佩格:
适合新手的精益入门策略。 199-211
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/BeckerBGDM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/BeckerBGDM21
海科·贝克尔,纳撒尼尔·博斯,伊万·加夫兰,伊娃·达鲁洛娃,鲁帕克·马朱姆达尔:
莱西：HOL4战术以身作则。 212-223
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/TourretB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/TourretB21
索菲·图雷特,布兰切特:
用于验证饱和校准仪的模块化Isabelle框架。 224-237
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/HaslbeckT21型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/HaslbeckT21网站
马克斯·哈斯贝克,雷内·蒂曼:
针对LLVM IR的AProVE终止方法的Isabelle/HOL形式化。 238-249
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/LochmanNMF21号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/LochmanNMF21网站
亚历山大·洛赫曼,阿尔特·米德尔多普,费比安·米特沃纳,伯特伦·费尔根豪尔:
线性变量分离重写系统重写的一阶理论的一个验证决策过程。 250-263
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/ComelinL21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/ComelinL21网站
约翰·科梅林,罗伯特·刘易斯:
形式化Witt向量环。 264-277
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/SlagelWD21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/SlagelWD21
J.Tanner矿渣,劳伦·怀特,亚伦·达特:
半代数集和实解析函数的形式化验证。 278-290
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/CatN21文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/CattN21网址
埃利奥特·卡特,迈克尔·诺里什:
关于科尔莫戈洛夫复杂性的形式化。 291-299
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/劳伦特21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/Laurent21
奥利维耶·劳亨:
一种反本地命名的量词形式化方法。 300-312
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/KirstR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/KirstR21
多米尼克·柯斯特,费利克斯·里奇:
广义连续统假设暗示了Coq中的选择公理。 313-326
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/HuC21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/HuC21
Jason Z.S.Hu（贾森·Z·S·胡）,雅克·卡雷特:
Agda中的形式化范畴理论。 327-342

管理网站设置

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