Innovating Works

TIN2008-00276

Financiado
MEJORA DEL RENDIMIENTO Y ROBUSTEZ DE LOS LENGUAJES DINAMICOS PARA EL DESARROLLO...
MEJORA DEL RENDIMIENTO Y ROBUSTEZ DE LOS LENGUAJES DINAMICOS PARA EL DESARROLLO DE SOFTWARE EFICIENTE, ESCALABLE Y FIABLE RECIENTEMENTE LOS LENGUAJES DENOMINADOS ¿DINAMICOS¿ ESTAN SIENDO NOTABLEMENTE DEMANDADOS EN EL DESARROLLO DE APLICACIONES DONDE PRIMAN LA ADAPTABILIDAD, UBICUIDAD Y GENERACION DINAMICA DE CODIGO, AQUELLOS ESCENARIOS EN LOS QUE EST... RECIENTEMENTE LOS LENGUAJES DENOMINADOS ¿DINAMICOS¿ ESTAN SIENDO NOTABLEMENTE DEMANDADOS EN EL DESARROLLO DE APLICACIONES DONDE PRIMAN LA ADAPTABILIDAD, UBICUIDAD Y GENERACION DINAMICA DE CODIGO, AQUELLOS ESCENARIOS EN LOS QUE ESTOS LENGUAJES HAN SIDO APLICADOS DE UN MODO EXITO-SO SON: DESARROLLO WEB, SOFTWARE ADAPTABLE EN TIEMPO DE EJECUCION, FRAMEWORKS DE APLICACIONES, DESARROLLO RAPIDO DE PROTOTIPOS, MOTORES DE JUEGOS, DESARROLLO INTERACTIVO Y SEPARACION DINAMICA DE ASPECTOS, NO OBSTANTE, LA ADAPTABILIDAD, SENCILLEZ Y RAPIDEZ DE DESARROLLO OFRECIDA POR ESTE TI-PO DE LENGUAJES SE VE CONTRARRESTADA CON DOS INCONVENIENTES PRINCIPALES: SU BAJO RENDIMIENTO EN TIEMPO DE EJECUCION Y LA NO DETECCION DE ERRORES DE TIPO EN TIEMPO DE COMPILACION,PARA MEJORAR SU RENDIMIENTO EN TIEMPO DE EJECUCION, ESTE PROYECTO PROPONE LA UTILIZACION DE TECNICAS DE COMPILACION Y OPTIMIZACION JIT (JUST IN TIME) APLICADAS A UNA PLATAFORMA VIRTUAL, PAR-TIENDO DE UNA MAQUINA VIRTUAL EXISTENTE QUE POSEA UNA ELEVADA EFICIENCIA, SE PLANTEA EXTENDER ESTA CON EL MODELO COMPUTACIONAL PROPIO DE LOS LENGUAJES DINAMICOS, LA PLATAFORMA RESULTANTE SERIA CAPAZ DE EJECUTAR TANTO LOS LENGUAJES ESTATICOS COMO LOS DINAMICOS CON UN MISMO MODELO COMPUTACIONAL Y UN ELEVADO RENDIMIENTO EN TIEMPO EJECUCION,EN LO CONCERNIENTE A LA LIMITACION QUE POSEEN LOS LENGUAJES DINAMICOS DE NO DETECTAR NINGUN ERROR DE TIPO EN TIEMPO DE COMPILACION, SE PRETENDE UTILIZAR UN SISTEMA DE TIPOS PERSONALIZABLE, PARA ELLO SE SEGUIRA EL PRINCIPIO DE SEPARATION OF CONCERNS APLICADO A UN LENGUAJE DE PROGRAMACION, EN EL QUE LAS DISTINTAS PARTES DE UN PROGRAMA PODRAN DEFINIR SU PROPIO CONCERN DE DINAMISMO, PARTES DE CODIGO PODRAN SER COMPILADAS PARA ASEGURAR UN FUNCIONAMIENTO DINAMICO CORRECTO (EN MODO PESIMISTA O ESTATICO), O DE UN MODO OPTIMISTA O DINAMICO CERTIFICANDO LA EXISTENCIA DE UNA ALTERNATIVA DINAMICA QUE POSEA UN COMPORTAMIENTO CORRECTO, ESTA SEPARACION DE CONCERNS PUEDE UTILIZARSE PARA HACER QUE EL DESARROLLO RAPIDO DE PROTOTIPOS EVOLUCIONE A LA CREACION DE UNA APLICACION ROBUSTA, EFICIENTE Y ESCALABLE; TAMBIEN PODRA EMPLEARSE PARA CONSEGUIR QUE PARTES DE UNA APLICACION SEAN MAS FLEXIBLES Y ADAPTABLES DINAMICAMENTE, LA UTILIZACION DE ESTE SISTEMA DE TIPOS QUE GENERE CODIGO PARA LA PLATAFORMA DESCRITA ANTERIORMENTE CONSTITUIRIA UN MECANISMO PARA OBTENER UNA INTEROPERABILIDAD BIDIRECCIONAL ENTRE LENGUAJES DINAMICOS Y ESTATICOS, Lenguajes Dinámicos\Eficiencia\Robustez\Reflexión Computacional\Máquinas Virtuales\Compilación JIT ver más
01/01/2008
UNIOVI
80K€
Perfil tecnológico estimado

Línea de financiación: concedida

El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2008-01-01
Presupuesto El presupuesto total del proyecto asciende a 80K€
Líder del proyecto
Universidad de Oviedo No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores 787