Publicações

Foundations for a Rust-Like Borrow Checker for C

AuthID
P-010-NET

Author(s)

Silva, T

Bispo, J

Carvalho, T

Editor(es)

Shrivastava,A;Sui,Y

Tipo de Documento

Proceedings Paper

Year published

2024

Publicado

in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024 in LCTES

Páginas: 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^®/pt/publications/view/1070554

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/3652032.3657579

DBLP: conf/lctrts/SilvaBC24

SCOPUS: 2-s2.0-85197266852

Wos: WOS:001256716500015

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Foundations for a Rust-Like Borrow Checker for C

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Foundations for a Rust-Like Borrow Checker for C

Links Úteis

Ajuda