Now showing items 1-2 of 2

    • Effective aspects: a typed monadic model to control and reason about aspect interference 

      Figueroa Palet, Ismael José (Universidad de Chile, 2014)
      La Programación Orientada a Aspectos (AOP) apunta a mejorar la modularidad y reusabilidad en sistemas de software al ofrecer un mecanismo de abstracción para manejar crosscutting concerns. Sin embargo, en la mayoría de los ...
    • 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 ...