Browsing by Author "Tanter, Éric"
Now showing items 1-20 of 54
-
(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 ...
-
(Universidad de ChileCyberDocs, 2011)
-
(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 ...
-
(Universidad de ChilePrograma Cybertesis, 2007)
-
(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 ...
-
(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, ...
-
(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, ...
-
(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 ...
-
(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 ...
-
(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 (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, ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(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 ...
