Navegação Teses e Dissertações por Assunto "Systems programming"
Resultados 1-1 de 1
-
Týr : a dependent type based code transformation for spatial memory safety in LLVM
(2018) [Dissertação]The C programming language does not enforce spatial memory safety: it does not ensure that memory accessed through a pointer to an object, such as an array, actually belongs to that object. Rather, the programmer is ...