Browsing by Author "Figueroa Palet, Ismael"

Now showing items 1-8 of 8

    • Abstracting gradual typing: Metatheory and applications 
      Toro Ipinza, Matías (Universidad de Chile, 2019)
      Han habido muchos enfoques para integrar tipado estático y dinámico. Uno de los enfoques más notables es el del tipado gradual. El enfoque clásico para diseñar lenguajes graduales es usualmente ad-hoc, pero existen ...
    • Customizable gradual effects for scala 
      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 ...
    • Diseño e implementación de una estrategia de seguridad mediante políticas de autenticación y autorización ... 
      Castillo Gutiérrez, Manuel Antonio (Universidad de Chile, 2018)
      En la actualidad, la necesidad de una sólida estrategia de gestión de acceso e identidad se ha convertido en parte integral de los recursos de tecnología de una empresa. Las soluciones para estas estrategias pueden permitir ...
    • Gradual refinement types 
      Lehmann Meléndez, Nicolás Emilio (Universidad de Chile, 2017)
      Los tipos refinados (Refinement Types) son una técnica efectiva de verificación basada en lenguajes que extienden la expresividad de los sistemas de tipos tradicionales incluyendo la posibilidad de restringir valores usando ...
    • Gradual system F 
      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 ...
    • Gradual typing for generic type-and-effect systems 
      Bañados Schwerter, Felipe Andrés (Universidad de Chile, 2014)
      Los sistemas de tipos-y-efectos (type-and-effect systems) permiten a los programadores hacer valer invariantes y restricciones sobre los efectos secundarios que se generan durante la evaluación de un programa. Los sistemas ...
    • Modular composition of session types 
      Soto Ridd, Gustavo Andrés (Universidad de Chile, 2015)
      En el campo de los sistemas distribuidos, lograr la coordinación entre diversas unidades de cómputo y sub-sistemas es una tarea compleja, pues cada unidad de computo se comporta distinta a las demás, de forma concurrente ...
    • 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 ...