Browsing by Author "Tanter, Éric"
Now showing items 1-20 of 49
-
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 ...
-
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 ...
-
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 ...
-
Evaluación y valoración de la complejidad en procesos de negocios desarrollados en BPEL20 y BPMN.0 Peralta Ocampo, Álvaro José (Universidad de Chile, 2017)El diseño y modelo de un proceso de negocio implica un grado de conocimiento sobre el qué hacer y el cómo se realizan las actividades, de manera que el modelo logre reflejar la realidad operacional. Este proceso no supone ...
-
Jorquera Ahumada, Gastón Ignacio (Universidad de ChileCyberDocs, 2010)Uno de los procesos del diseño de circuitos integrados digitales es la preparación de la información de las máscaras, o MDP por sus siglas en inglés (Mask Data Preparation). La preparación de máscaras recibe el diseño de ...