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

Adam Chlipala

机构信息待补充

28H指数
128论文数
3.1K被引数
收录论文 4
发表时间
logo
Pyrosome: Verified Compilation for Modular MetatheoryPyrosome：模块化元理论的验证编译
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errJamner, Dustin; Kammer, Gabriel; Nag, Ritam; Chlipala, Adam
err分享
err收藏
Position paper: the science of deep specification
errPHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
IF3.7
err2017-09-04
err31
errOAAI
errAppel, Andrew W.; Beringer, Lennart; Chlipala, Adam; Pierce, Benjamin C.; Shao, Zhong; Weirich, Stephanie; Zdancewic, Steve
err分享
err收藏
Certifying a File System Using Crash Hoare Logic: Correctness in the Presence of Crashes
errCOMMUNICATIONS OF THE ACM
IF12.2
err2017-03-24
err7
errOAAI
errChajed, Tej; Chen, Haogang; Chlipala, Adam; Kaashoek, M. Frans; Zeldovich, Nickolai; Ziegler, Daniel
err分享
err收藏
Ur/Web: A Simple Model for Programming the Web
errCOMMUNICATIONS OF THE ACM
IF12.2
err2016-07-22
err10
PREAI
errChlipala, Adam
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
M. Frans Kaashoek
H 指数: 70 · 论文数: 245
B
Benjamin C. Pierce
H 指数: 61 · 论文数: 352
A
Andrew W. Appel
H 指数: 53 · 论文数: 347
N
Nickolai Zeldovich
H 指数: 48 · 论文数: 129
S
Steve Zdancewic
H 指数: 46 · 论文数: 167
查看更多