Buscas alternativas:
spatial changing » spatial changings (Expandir a busca), spatial planning (Expandir a busca), spatial thinking (Expandir a busca)
data programming » math programming (Expandir a busca), java programming (Expandir a busca), dna programming (Expandir a busca)
changing data » counting data (Expandir a busca), sharing data (Expandir a busca), hashing data (Expandir a busca)
spatial changing » spatial changings (Expandir a busca), spatial planning (Expandir a busca), spatial thinking (Expandir a busca)
data programming » math programming (Expandir a busca), java programming (Expandir a busca), dna programming (Expandir a busca)
changing data » counting data (Expandir a busca), sharing data (Expandir a busca), hashing data (Expandir a busca)
1
Assuntos:
“...Systems programming...”
Týr : a dependent type based code transformation for spatial memory safety in LLVM
Dissertação