1. Repositório Aberto da Universidade do Porto
  2. FEUP - Faculdade de Engenharia
  3. FEUP - Dissertação
Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/153606
Full metadata record
DC FieldValueLanguage
dc.creatorTiago Duarte da Silva
dc.date.accessioned2025-11-06T05:45:20Z-
dc.date.available2025-11-06T05:45:20Z-
dc.date.issued2023-10-16
dc.date.submitted2023-11-06
dc.identifier.othersigarra:647397
dc.identifier.urihttps://hdl.handle.net/10216/153606-
dc.language.isoeng
dc.rightsrestrictedAccess
dc.subjectEngenharia electrotécnica, electrónica e informática
dc.subjectElectrical engineering, Electronic engineering, Information engineering
dc.titleCORAL: a Rust-like Borrow Checker for C
dc.typeDissertação
dc.contributor.uportoFaculdade de Engenharia
dc.identifier.doi10.34626/7yjh-8h06
dc.identifier.tid203430107
dc.subject.fosCiências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
dc.subject.fosEngineering and technology::Electrical engineering, Electronic engineering, Information engineering
thesis.degree.disciplineMestrado em Engenharia Informática e Computação
thesis.degree.grantorFaculdade de Engenharia
thesis.degree.grantorUniversidade do Porto
thesis.degree.level1
Appears in Collections:FEUP - Dissertação

Files in This Item:
File Description SizeFormat 
647397.1.pdf
  Restricted Access		Cronograma12.75 kBAdobe PDFView/Open
647397.pdfCORAL: a Rust-like Borrow Checker for C766.66 kBAdobe PDFThumbnail
View/Open
Show simple item record Recommend this item Display Statistics


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.