logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
arrow
返回期刊详情
P

PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026

IF
论文数27
被引数
期刊论文 27
发表时间
delete
Mechanizing Synthetic Tait Computability in Istari在Istari中机械化合成泰特可计算性
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLi, Runming; Yao, Yue; Harper, Robert
delete分享
delete收藏
Towards Composable Proofs of Cache Coherence Protocols可组合的缓存一致性协议证明方法研究
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteCamaioni, Martina; Herklotz, Yann; Yu, Tz-Ching; Bourgeat, Thomas
delete分享
delete收藏
Foundational Verification of Running-Time Bounds for Interactive Programs交互式程序运行时间界的基础验证
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteTockman, Andy; Singh, Pratap; Erbsen, Andres; Gruetter, Samuel; Chlipala, Adam
delete分享
delete收藏
Computing Solutions for Systems of Multivariate Ordinary Differential Equations in RocqRocq中求解多元常微分方程组的方法
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteThies, Holger
delete分享
delete收藏
Certifying the Decidability of the Word Problem in Monoids at Large证明大型幺半群中的字问题的可判定性
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteCirpons, Reinis; Hivert, Florent; Mahboubi, Assia; Melquiond, Guillaume; Mitchell, James D.; Smith, Finn
delete分享
delete收藏
Precise Reasoning about Container-Internal Pointers with Logical Pinning利用逻辑固定机制对容器内部指针进行精确推理
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteGuan, Yawen; Pit-Claudel, Clement
delete分享
delete收藏
A Rose Tree Is Blooming (Proof Pearl)玫瑰树正在绽放（证明珍珠）
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteKorkut, Joomy
delete分享
delete收藏
Higher Order Differential Calculus in MathlibMathlib中的高阶微分演算
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteGouezel, Sebastien
delete分享
delete收藏
Cylindrical Algebraic Decomposition in Coq/RocqCoq/Rocq中的圆柱代数分解
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteVermande, Quentin
delete分享
delete收藏
Formalizing Polynomial Laws and the Universal Divided Power Algebra形式化多项式律与通用分割幂代数
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteChambert-Loir, Antoine; de Frutos-Fernandez, Maria Ines
delete分享
delete收藏
BRACK: A Verified Compiler for Scheme via CakeMLBRACK：通过CakeML实现的Scheme语言验证编译器
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLasnier, Pascal Y.; Yallop, Jeremy; Myreen, Magnus O.
delete分享
delete收藏
Building Blocks for Step-Indexed Program Logics步索引程序逻辑的构建模块
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteSomers, Thomas; Hinrichsen, Jonas Kastberg; Gaeher, Lennard; Krebbers, Robbert
delete分享
delete收藏
Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions非线性算术和超越函数可满足性问题的增量线性化证明演算的形式化
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteMascarenhas, Tomaz; Khan, Harun; Mohamed, Abdalrhman; Reynolds, Andrew; Barbosa, Haniel; Barrett, Clark; Tinelli, Cesare
delete分享
delete收藏
Adhesive Category Theory for Graph Rewriting in RocqRocq中用于图重写的粘合范畴论
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteArsac, Samuel; Harmer, Russ; Pous, Damien
delete分享
delete收藏
Bar Inductive Predicates for Constructive Algebra in RocqRocq中构造性代数的棒感应谓词
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLarchey-Wendling, Dominique
delete分享
delete收藏
Mechanized Dominator Tree Certification机械化支配树认证
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLechenet, Jean-Christophe
delete分享
delete收藏
A Certifying Proof Assistant for Synthetic Mathematics in Lean在Lean中用于综合数学的认证型证明助手
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteNawrocki, Wojciech; Hua, Joseph; Carneiro, Mario; Xu, Yiming; Woolfson, Spencer; Rong, Shuge; Hazratpour, Sina; Awodey, Steve
delete分享
delete收藏
Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic高阶分离逻辑中随机采样器的模块化规范与实现
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteMarionneau, Virgil; Bourda, Felix Sassus; Aguirre, Alejandro; Birkedal, Lars
delete分享
delete收藏
Adding Sorts to an Isabelle Formalization of Superposition为Isabelle形式化中的超归结添加排序
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteToth, Balazs; Desharnais-Schafer, Martin; Blanchette, Jasmin
delete分享
delete收藏
Enhancing Symbolic Execution with Machine-Checked Safety Proofs增强符号执行与机器验证的安全性证明
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteTrabish, David; Itzhaky, Shachar
delete分享
delete收藏