Viera Larrea, Marcos Omar
DATOS PERSONALES Y ACADÉMICOS |
|
---|
Grado 4 / Facultad de Ingenieria / Instituto de Computación |
Contacto |
Email: mviera@fing.edu.uy / Teléfono: 43430022 |
Área disciplinar |
Tecnológica |
Disciplina / Subdisciplina |
Ciencias de la Computación / Lenguajes de Programación / Métodos Formales |
Mayor nivel académico |
Doctorado, Universidad de Utrecht Universidad de la República – PEDECIBA (año 2013) |
Link a web personal |
http://www.fing.edu.uy/~mviera/ |
Link a CVUY |
Ver CVUy |
Pertenece al SNI |
Si pertenece / Candidato |
Pertenece al PEDECIBA |
Si pertenece / Grado 3 |
DATOS DEL PROYECTO DE DEDICACIÓN TOTAL |
Título del Plan de Actividades |
Lenguajes de Programación de Dominio Específico |
Palabras clave |
programacion,dsl,lenguajes,funcional |
Resumen Publicable |
Los lenguajes de programación de dominio específico (DSL: Domain Specific Languages) son lenguajes hechos “a medida” para algún dominio en particular. Para evitar el trabajo de diseñar e implementar un lenguaje completamente nuevo para cada dominio es una práctica común el implementar los DSL como una librería de un lenguaje “anfitrión”. De esta forma el programador puede utilizar una notación específica para su dominio y, a su vez, aprovechar todas las características del lenguaje anfitrión. Los lenguajes de esta clase son llamados lenguajes de dominio específico embebidos (EDSL: Embedded Domain Specific Languages). Si queremos escribir DSLs interesantes y semánticamente ricos, se debe poder realizar mucho trabajo que en lenguajes comunes es realizado por compiladores y generadores de programas, como chequeo de tipos, interpretación abstracta, etc. Todas estas tareas requieren de algún tipo de análisis de programas y transformaciones. El objetivo de nuestro trabajo es proveer al diseñador de EDSLs las herramientas que le permitan realizar esto de alguna forma sencilla. |
Grado y Fecha de Ingreso al RDT |
Grado 2 / Desde: 2011-04-13 |
Programa: Científico Proveniente del Exterior |
El cargo NO se enmarca en este programa |
Participa de Grupo Autoidentificado |
No participa de ningún grupo autoidentificado |
Observaciones |
– |
DOCUMENTACIÓN ADJUNTA |
Curriculum Vitae |
Aún no se ha cargado el CV. |
Último informe de renovación |
Aún no se ha cargado el último informe de renovación. |
Producción Académica |
Documento 1: Aún no se ha cargado este archivo de Producción Académica. Documento 2: Aún no se ha cargado este archivo de Producción Académica. Documento 3: Aún no se ha cargado este archivo de Producción Académica. |