Viera Larrea, Marcos Omar

DATOS PERSONALES Y ACADÉMICOS

Grado y Servicio

Grado 3 / 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.