Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-08-24T16:30:26Z
dc.date.available 2012-08-24T16:30:26Z
dc.date.issued 2007
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/20154
dc.description.abstract Este trabajo expone una linea de investigación en análisis estático de programas lógicos. El objetivo general de la computación ubicua es la generación automática de software en el contexto de recursos limitados. Un aspecto importante para este objetivo es lograr la información de los tipos en lenguajes no tipados como Prolog. Esta linea de investigación abarca el estudio de todas las consideraciones para una inferencia automática eficiente y precisa de la información de tipos en el contexto de la programación lógica. es
dc.format.extent 21-26 es
dc.language es es
dc.subject Análisis Estático de Programas es
dc.subject Intelligent agents es
dc.subject Generación de Computación Ubicua es
dc.subject Inferencia de Tipos es
dc.title Análisis estático de programas para la generación de computación ubicua: inferencia de tipos es
dc.type Objeto de conferencia es
sedici.identifier.isbn 978-950-763-075-0
sedici.creator.person Vaucheret, Claudio A. es
sedici.description.note Eje: Agentes y Sistemas Inteligentes es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2007-05 es
sedici.relation.event IX Workshop de Investigadores en Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (76.66Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)