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

Clément Pit-Claudel

swiss federal institutes of technology domain
H指数:11
被引数:427
浏览量:0

个人简介

暂无内容

教育背景

暂无内容

工作经历

暂无内容

荣誉奖项

暂无内容

Precise Reasoning about Container-Internal Pointers with Logical Pinning

利用逻辑固定机制对容器内部指针进行精确推理

PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
2026-01-010
PRE
Guan, Yawen; Pit-Claudel, Clement
Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications

JavaScript正则表达式的形式验证：一种经过证明的机械化语义及其应用

Proceedings of the ACM on Programming Languages-PACMPL
IF2.8
2026-01-010
PRE
Barriere, Aurele; Deng, Victor; Pit-Claudel, Clement

研究方向

暂未获取到该数据
A
Aurèle Barrière
H 指数:4论文数:12被引数:82
V
Victor Deng
H 指数:0论文数:4被引数:0
Y
Yawen Guan
H 指数:0论文数:3被引数:0