Foundations for a Rust-Like Borrow Checker for C

AuthID
P-010-NET
3
Author(s)
Silva, T
·
2
Editor(s)
Shrivastava,A;Sui,Y
Document Type
Proceedings Paper
Year published
2024
Published
in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024 in LCTES
Pages: 155-165 (11)
Conference
25Th Acm Sigplan/Sigbed International Conference on Languages, Compilers, and Tools for Embedded Systems (Lctes), Date: JUN 24, 2024, Location: Copenhagen, DENMARK
Indexing
Publication Identifiers
Dblp: conf/lctrts/SilvaBC24
Scopus: 2-s2.0-85197266852
Wos: WOS:001256716500015
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.