Browsing by Author "Tanter, Éric"

Now showing items 1-20 of 23

    • A Coq formalization of RDF and its applications 
      Vallejos Parada, Tomás Javier (Universidad de Chile, 2023)
      El Marco de Descripci´on de Recursos (del ingl´es Resource Description Framework, RDF) es un modelo de datos basado en grafos que enriquece los documentos de la World Wide Web con datos entendibles por m´aquinas. Durante ...
    • A Type System For Global Model Management 
      Vignaga, Andrés (Universidad de ChileCyberDocs, 2011)
    • Abstracting gradual typing: Metatheory and applications 
      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 ...
    • 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 ...
    • Discovering memory optimization opportunities by analyzing shareable objects 
      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 ...
    • Diseñar un sistema para automatizar el proceso de evaluación del talento humano de una empresa 
      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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • Gradual refinement types 
      Lehmann Meléndez, Nicolás Emilio (Universidad de Chile, 2017)
      Los tipos refinados (Refinement Types) son una técnica efectiva de verificación basada en lenguajes que extienden la expresividad de los sistemas de tipos tradicionales incluyendo la posibilidad de restringir valores usando ...
    • Gradual system F 
      Labrada Deniz, Elizabeth (Universidad de Chile, 2022)
      El polimorfismo paramétrico es un mecanismo de abstracción ampliamente utilizado en los lenguajes de programación, que permite la definición genérica de funciones y tipos, y proporciona reutilización de código e independencia ...
    • 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 ...
    • Implementación del área de proceso de gestión de riesgos de CMMI v1.3 utilizando metodologías ágiles 
      Paolini Noguera, Andrés Eduardo (Universidad de Chile, 2013)
      La naturaleza de la competitividad de los mercados, la evolución y continuo crecimiento de las tecnologías de la información, así como una sociedad que se vuelve más demandante cada día exigiendo productos de mayor calidad ...
    • 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 ...
    • Línea de productos software tramitación de causas judiciales 
      Portilla Portilla, Rodrigo Alexis (Universidad de Chile, 2013)
      El proyecto de tesis Línea de Productos Software de Tramitación de Causas Judiciales se enmarca en el contexto laboral de la empresa Amisoft, organización especializada en tecnologías de la información con más de 14 años ...
    • Mapeo de ejemplos de código fuente para dar apoyo en el uso de APIS 
      Acurana Flores, Yasett Gisela (Universidad de Chile, 2017)
      Los desarrolladores de software con frecuencia recurren a Interfaces de Programación de Aplicaciones (APIs) para extender la funcionalidad de sus programas. El uso de APIs, que son un conjunto de reglas y convenciones ...
    • Un Modelo Abierto de Proximidad para el Descubrimiento de Servicios en Computación Pervasiva 
      Ramiro Cid, Víctor Alejandro (Universidad de ChilePrograma Cybertesis, 2009)
    • Modular and secure access control with aspects 
      Toledo Toledo, Rodolfo Andrés (Universidad de Chile, 2014)
      It is inevitable that some concerns crosscut a sizable application, resulting in code scattering and tangling. This issue is particularly severe for security-related concerns: it is difficult to be confident about the ...
    • 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 ...
    • Opening up trace-based mechanisms -- application to context-aware Ssstems 
      Leger Morales, Paul Saint (Universidad de Chile, 2012)
      In 1972, David Lorge Parnas argued that modular programming is extremely valuable for the development of large pieces of code. This is so because a module can be written with little knowledge of the code of other modules ...