Browsing by Subject "Dart"
Now showing items 1-1 of 1
-
Desclasificación basada en tipos en DART: Implementación y elaboración de herramientas de inferencia (Universidad de Chile, 2018)La protección de la confidencialidad de la información manipulada por los programas computacionales es abordada a nivel del código fuente con distintas técnicas. Una de ellas es tipado de seguridad para el control de flujo, ...