Publications

Foundations for a Rust-Like Borrow Checker for C

AuthID
P-010-NET

Author(s)

Silva, T

Bispo, J

Carvalho, T

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

Wos^®

Scopus^®

Dblp^®/en/publications/view/1070554

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1145/3652032.3657579

DBLP: conf/lctrts/SilvaBC24

SCOPUS: 2-s2.0-85197266852

Wos: WOS:001256716500015

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Foundations for a Rust-Like Borrow Checker for C

Useful Links

Get Help

Federated Authentication (Click on the image)

Foundations for a Rust-Like Borrow Checker for C

Useful Links

Get Help