Browsing by Subject "Lenguajes de programación (Computadores)"

Now showing items 1-6 of 6

    • 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 ...
    • Empirically-driven design and implementation of Gradualtalk 
      Álvarez Callaú, Óscar Edwin (Universidad de Chile, 2015)
      Los lenguajes de tipado dinámico permiten un desarrollo ágil, el cual es util para construir prototipos rápidamente. Sin embargo, cuando estos pequeños programas se convierten en aplicaciones grandes, depurar se vuelve una ...
    • 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 ...
    • Horizontal profiling: A sampling technique to identify performance regressions 
      Sandoval Alcocer, Juan (Universidad de Chile, 2016)
      Los cambios continuos en el código fuente de un programa pueden inadvertidamente introducir una regresión de rendimiento en tiempo de ejecución. Dichas regresiones se refieren a situaciones donde el rendimiento de un ...
    • Improving the efficiency and reliability of gradual typing 
      Allende Prieto, Esteban Armando (Universidad de Chile, 2015)
      Gradual Typing permite a un programador aplicar tipos estáticos a ciertas partes de un programa, dejando el resto dinámicamente tipeado. Sin embargo, esto viene con un costo en el rendimiento. Una razón es que el runtime ...
    • 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 ...