Browsing by Author "Tanter, Eric"

Now showing items 1-10 of 10

    • A general approach to recursion in G-Core 
      Urzúa Puentes, Valentina Belén (Universidad de Chile, 2021)
      G-CORE es un lenguaje de consulta de bases de datos de grafos. Una de sus características más novedosas es que es un lenguaje cerrado, pues se consultan grafos y se retorna grafos. Además, tiene la capacidad de expresar ...
    • A reasonably exceptional type theory: a type theory with exceptios 
      Fehrmann Rojas, Hans Jacob (Universidad de Chile, 2020)
      Los asistentes de pruebas son una herramienta de software donde es posible desarrollar pro- gramas sobre los cuales se pueden demostrar propiedades y as ́ı certificarlos. Esto es posible a trav ́es de teor ́ıas de tipo ...
    • Automatización de pruebas de regresión 
      Rivera Martínez, Cristián Alejandro (Universidad de Chile, 2018)
      En el desarrollo de software, existen tres elementos determinantes para la obtención de sistemas de calidad, estos son: las personas, la tecnología y los procesos, teniendo los procesos una incidencia significativa en la ...
    • Countable polymorphic may-must effects 
      Mosso Chávez, Fabián Andrés (Universidad de Chile, 2020)
      Muchos programas realizan operaciones tales como mutar el heap, imprimir en pantalla, leer archivos, comunicarse con otros programas o generar números aleatorios. Estas interacciones son conocidas como efectos colaterales. ...
    • Fuzz testing aplicado en máquinas de estado jerárquicas de Smach para pruebas de comportamientos robóticos 
      Delgado Vega, Rodrigo Alexis (Universidad de Chile, 2022)
      La robótica como disciplina ha aumentando considerablemente su desarrollo en la ultima década. Una de las principales razones de este aumento han sido los bajos costos de ventas y su uso en la vida diaria. Este aumento ...
    • Gradual sensitivity types 
      Arquez Trigo, Damián Nicolás (Universidad de Chile, 2021)
      Sensitivity type systems are used to reason about the sensitivity of computations. This is of particular interest in the fields of privacy, specially differential privacy. One caveat of sensitivity types is that, being a ...
    • Improving source code change set analysis by using a visual tool 
      Salgado Faila, Ronie Alexis (Universidad de Chile, 2019)
      En los procesos modernos de desarrollo de programas computaciones, los elementos nuevos del mismo son desarrollados en ramas completamente aisladas por cada uno de los miembros de un equipo de desarrollo. La integración ...
    • Middleware para un sistema de gestión de identidad en Telefónica Chile 
      Alvarado Sánchez, Christian Alonso (Universidad de Chile, 2015)
      La administración de cuentas de acceso en los sistemas y recursos TI (Tecnologías de Información) es una actividad compleja y costosa que actualmente preocupan a las grandes empresas. El problema radica principalmente en ...
    • Nuevas estrategias de análisis de datos de escaneos de la red chilena para el monitoreo periódico de su seguridad 
      Riveros Roca, Eduardo Andrés (Universidad de Chile, 2020)
      Las amenazas informáticas dirigidas a computadores conectados a Internet generan problemas de gran impacto en nuestra sociedad, debido a la importancia que esta red tiene en nuestras vidas, la cual se observa en el carácter ...
    • Type abstraction and faceted types for declassification 
      Cruz Concepción, Raimil (Universidad de Chile, 2020)
      El tipado de seguridad para control de ujos de información previene que información con- dencial sea liberada hacia canales públicos. La propiedad fundamental de control de ujos de información, conocida como ...