Buscas alternativas:
execution programming » educational programming (Expandir a busca), electronic programming (Expandir a busca), expression programming (Expandir a busca)
structure execution » structure selection (Expandir a busca), structure detection (Expandir a busca), structure extraction (Expandir a busca)
spatial structure » social structure (Expandir a busca), capital structure (Expandir a busca), soil structure (Expandir a busca)
execution programming » educational programming (Expandir a busca), electronic programming (Expandir a busca), expression programming (Expandir a busca)
structure execution » structure selection (Expandir a busca), structure detection (Expandir a busca), structure extraction (Expandir a busca)
spatial structure » social structure (Expandir a busca), capital structure (Expandir a busca), soil structure (Expandir a busca)
1
Assuntos:
“...Systems programming...”
Týr : a dependent type based code transformation for spatial memory safety in LLVM
Dissertação