Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Yiyun Liu
Publications
A Formal Model of Checked C
Liyi Li
,
Yiyun Liu
,
Deena Postol
,
Leonidas Lampropoulos
,
David Van Horn
and
Michael Hicks
EasyChair Preprint 8764
Keyphrases
Checked C
,
compiler
,
semantics
,
spatial memory safety
,
static analysis
.
Copyright © 2012-2025 easychair.org. All rights reserved.
