Browsing by Author "Tanter, Éric"
Now showing items 1-20 of 54
-
Toro, Matías; Tanter, Éric (Springer, 2017)Union types allow to capture the possibility of a term to be ofseveral possibly unrelated types. Traditional static approaches to uniontypes are untagged and tagged unions, which present dual advantagesin their use. Inspired ...
-
Vignaga, Andrés (Universidad de ChileCyberDocs, 2011)
-
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 ...
-
González Leiva, Marcelo Enrique (Universidad de ChilePrograma Cybertesis, 2007)
-
Sandoval Leiva, Diego Andrés (Universidad de Chile, 2022)En este contexto, en la presente memoria se realiza un trabajo en colaboración del Centro Tecnológico Ucampus de la Universidad de Chile para construir herramientas que ayuden al estudiante en la toma de decisiones, en ...
-
Tabareau, Nicolás; Tanter, Éric (Springer Verlag, 2019)© 2018, Springer-Verlag GmbH Germany, part of Springer Nature. Distributed applications are challenging to program because they have to deal with a plethora of concerns, including synchronization, locality, replication, ...
-
Cabrera Hormazabal, Carlos Sebastián (Universidad de Chile, 2010)La programación orientada a aspectos (POA) es un paradigma de programación. Permite encapsular funcionalidad que se encuentra dispersa en un sistema. Para ello utiliza pointcuts, predicados que definen eventos del programa, ...
-
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 ...
-
Rodríguez Elorza, Francisco Javier (Universidad de ChilePrograma Cybertesis, 2009)Este trabajo tiene como objetivo crear una interfaz de programación (API) que detecta la cara y rasgos faciales. A la API se le entrega como entrada una imagen o un video y retorna en tiempo real la posición de la cara y ...
-
Pinto De las Riberas, Valentina Aylén (Universidad de Chile, 2023)El trabajo colaborativo considera un grupo de personas que trabajan conjuntamente en una actividad. Esta situación se da tanto en el diario vivir como en el ámbito académico. A lo largo de nuestra vida, son múltiples las ...
-
Desclasificación basada en tipos en DART: Implementación y elaboración de herramientas de inferencia Meneses Cortés, Matías Ignacio (Universidad de Chile, 2018)La protección de la confidencialidad de la información manipulada por los programas computacionales es abordada a nivel del código fuente con distintas técnicas. Una de ellas es tipado de seguridad para el control de flujo, ...
-
Infante Rica, Alejandro José (Universidad de Chile, 2017)Los lenguajes modernos de programación orientada a objetos han aliviado de manera impor- tante a los programadores la tarea de administrar memoria. A pesar de la eficiencia de los recolectores de basura y herramientas de ...
-
González Castro, Carlos Alberto (Universidad de Chile, 2014)McKinsey & Co es una consultora de alta gerencia que nace en Chicago, Estado Unidos en el año 1926. Hoy es una consultora a nivel mundial con 99 oficinas en 50 países. Con presencia en Chile desde 1996, asesora a las ...
-
Galdames Grünberg, Daniel Andrés (Universidad de Chile, 2011)La programación orientada a aspectos es un paradigma de programación que intenta solucionar el problema de las funcionalidades transversales, esto es, funcionalidades de la aplicación que están dispersas por muchas áreas ...
-
Gómez Núñez, Camilo José (Universidad de Chile, 2015)La votación electrónica poco a poco se ha ido masificando a lo largo del mundo. Lamentablemente su uso en procesos eleccionarios de varios países, no ha estado exento de variadas críticas y cuestionamientos. Estos ...
-
Araya Zavala, Martín Esteban (Universidad de Chile, 2023)Una de las actividades más típicas de un estudiante universitario durante su paso por una carrera corresponde a la toma de apuntes. Típicamente, esta toma de apuntes es realizada mediante el uso de papel y lápiz, aunque ...
-
Covacevich Valdebenito, Yerko Vladimir (Universidad de Chile, 2013)El objetivo general de esta memoria es diseñar, construir e integrar un módulo con algoritmos de detección de citas bibliográficas para el sistema de análisis de originalidad en documentos digitales DOCODE 1.0. El sistema ...
-
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 ...
-
Á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 ...
-
Rodríguez Gutiérrez, Matías Andrés (Universidad de Chile, 2017)El acuerdo de París tomado en la Conferencia de las Partes de la Convención Marco de las Naciones Unidas para el Cambio Climático en el año 2015 marca un hito importante en el esfuerzo por combatir el cambio climático e ...