Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Mostrar más

Temática

Mostrando 10 de 20.620 registro(s)

Filtros temática quitar todos
actas de congreso
Agregar a Mi catálogo

Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling-Volume 83

Más información

ISBNs: 978-1-920682-64-4 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 ACM Digital Library

Cobertura temática: Ciencias de la computación e información  

actas de congreso
Agregar a Mi catálogo

Twin Peaks of Requirements and Architecture (Twin Peaks), 2012 IEEE First International Workshop on the

Más información

ISBNs: 978-1-4673-4486-9 (impreso) 978-1-4673-4485-2 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2012 IEEE Xplore

Cobertura temática: Ciencias de la computación e información  

actas de congreso
Agregar a Mi catálogo

Twin Peaks of Requirements and Architecture (TwinPeaks), 2013 2nd International Workshop on the

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2013 IEEE Xplore

Cobertura temática: Ciencias de la computación e información  

actas de congreso
Agregar a Mi catálogo

Twin Peaks of Requirements and Architecture (TwinPeaks), 2013 3rd International Workshop on the

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2013 IEEE Xplore

Cobertura temática: Ciencias de la computación e información  

libros Acceso Abierto
Agregar a Mi catálogo

Twining: Critical and Creative Approaches to Hypertext Narratives

Más información

ISBNs: 978-1-94320-824-1 (impreso) 978-1-94320-825-8 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2021 Directory of Open access Books acceso abierto
No requiere 2021 JSTOR acceso abierto

Cobertura temática: Ciencias de la computación e información  

libros Acceso Abierto
Agregar a Mi catálogo

Twining: Critical and Creative Approaches to Hypertext Narratives

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Ciencias de la computación e información - Artes  

libros Acceso Abierto
Agregar a Mi catálogo

Two Phase Flow, Phase Change and Numerical Modeling

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Ciencias de la computación e información  

tesis Acceso Abierto
Agregar a Mi catálogo

Type specialisation of polymorphic languages

Más información
Autores/as: Pablo E. Martínez López ; John Hughes ; Alfredo Olivero

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2005 SEDICI: Repositorio Institucional de la UNLP (SNRD) acceso abierto

Cobertura temática: Ciencias de la computación e información  

La especialización de programas es una manera particular de producir programas automáticamente. En ella se utiliza un programa fuente general dado para generar diversas versiones particulares, especializadas, del mismo, cada una resolviendo una instancia particular del problema original. La técnica más conocida y más ampliamente estudiada de especialización de programas es llamada evaluación parcial; se la ha utilizado con éxito en varias áreas de aplicación diferentes. Sin embargo, la evaluación parcial tiene problemas cuando se considera la producción automática de programas con tipos. La especialización de tipos es una forma de especialización de programas que puede producir automáticamente programas con tipos a partir de uno fuente. Comprende diversas técnicas muy poderosas, tales como especialización polivariante, especialización de constructores, conversión de clausuras; es la primera de las variantes de especialización de programas que puede generar tipos arbitrarios a partir de un único programa fuente. Creemos que la especialización de tipos puede ser la base sobre la que desarrollar un marco de producción automática de programas. En esta tesis consideramos la especialización de programas, extendiéndola para producir programas polimórficos. Ilustramos eso considerando un intérprete para un lambda cálculo con tipos a la Hindley-Milner, y especializándolo con cualquier programa objeto para producir un programa residual que sea esencialmente igual que el original. En la búsqueda de la generación de polimorfismo, extendemos la especialización de tipos para que pueda expresar la especialización de programas con información estática incompleta, y probamos que para cada término podemos inferir una especialización particular que puede ser usada para reconstruir cada uno de las otras especializaciones de tal término. Llamamos especialización de tipos principal a tal técnica, debido a la analogía de esta propiedad con la noción de tipos principales. Nuestra presentación clarifica muchos de los problemas existentes en la especialización de tipos, lo cual puede ser usado como una guía en la búsqueda de soluciones para ellos.
libros
Agregar a Mi catálogo

Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

Más información

ISBNs: 978-3-540-25593-2 (impreso) 978-3-540-32014-2 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

Cobertura temática: Ciencias de la computación e información - Lenguas y literatura  

libros
Agregar a Mi catálogo

Typed Lambda Calculi and Applications: 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings

Más información

ISBNs: 978-3-540-73227-3 (impreso) 978-3-540-73228-0 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 SpringerLink

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática