Now showing items 1-7 of 7

    • 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. ...
    • Toro Ipinza, Matías (Universidad de Chile, 2015)
      Operaciones realizadas por un programa de computación pueden producir efectos. Efectos computacionales pueden ser definidos como operaciones que interactúan y que se comunican con su ambiente. Ejemplos de efectos son ...
    • 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 ...
    • Labrada Deniz, Elizabeth (Universidad de Chile, 2022)
      El polimorfismo paramétrico es un mecanismo de abstracción ampliamente utilizado en los lenguajes de programación, que permite la definición genérica de funciones y tipos, y proporciona reutilización de código e independencia ...
    • Campos Fischer, Daniela Andrea (Universidad de Chile, 2022)
      Las operaciones de join en bases de datos resultan costosas, ya sea en el tiempo que toma o en el espacio utilizado por los índices que resuelven dichas consultas. En el último tiempo se han introducido los algoritmos ...
    • Labrada Deniz, Elizabeth; Toro Ipinza, Matías; Tanter, Eric Pierre; Devriese, Dominique (Assoc Computing Machinery, 2022)
      Graduality and parametricity have proven to be extremely challenging notions to bring together. Intuitively, enforcing parametricity gradually requires possibly sealing values in order to detect violations of uniform ...
    • Toro Ipinza, Matías (Universidad de Chile, 2008)
      Existen actualmente muchas herramientas de administración de desarrollo de software, las cuales tienen elementos de Planificación y Tracking. Pero no muchas de ellas toman estos dos elementos y los combinan. Una de las ...