A Formal Model of Checked C
A Formal Model of Checked C
复制标题
检查C的形式化模型
DOI：
10.1109/csf54842.2022.9919657
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Hicks, Michael
中科院分区：
文献类型：
--
作者：
Li, Liyi;Liu, Yiyun;Postol, Deena;Lampropoulos, Leonidas;Van Horn, David;Hicks, Michael
登录
查看更多内容
使用 PLT Redex 进行语义工程
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
M. Felleisen;R. Findler;M. Flatt
通讯作者：
M. Flatt
Liquid Haskell 简介
DOI：
--
发表时间：
2017
期刊：
PROLE
影响因子：
--
作者：
Ricardo Peña
通讯作者：
Ricardo Peña
探索 C 语义和指针起源
DOI：
--
发表时间：
2019
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
Kayvan Memarian;Victor B. F. Gomes;Brooks Davis;Stephen Kell;Alexander Richardson;R. Watson;Peter Sewell
通讯作者：
Peter Sewell
使用 Checked C 重构 FreeBSD 内核
DOI：
--
发表时间：
2020
期刊：
IEEE Cybersecurity Development
影响因子：
--
作者：
Junhan Duan;Yudi Yang;Jie Zhou;J. Criswell
通讯作者：
J. Criswell
影响因子：
3.2
作者：
Jeremy Condit;M. Harren;Zachary R. Anderson;David E. Gay;G. Necula
通讯作者：
G. Necula