magGen: un generador de evaluadores de Gramáticas de Atributos Multiplanes
Las Gramáticas de Atributos (GA) son un formalismo que poseen el poder descriptivo de las Gramáticas Libres de Contexto (CFG) y la expresividad de los lenguajes funcionales, para definir la semántica de un lenguaje. Las ecuaciones de una GA inducen dependencias entre los atributos que ocurren en la...
Guardado en:
Autores principales: | , , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Español |
Publicado: |
2010
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/19383 |
Aporte de: |
id |
I19-R120-10915-19383 |
---|---|
record_format |
dspace |
institution |
Universidad Nacional de La Plata |
institution_str |
I-19 |
repository_str |
R-120 |
collection |
SEDICI (UNLP) |
language |
Español |
topic |
Ciencias Informáticas formalismos gramati Gramática de Atributos (GA) Gramática de Atributos Multiplanes (GAM) circularidad evaluación |
spellingShingle |
Ciencias Informáticas formalismos gramati Gramática de Atributos (GA) Gramática de Atributos Multiplanes (GAM) circularidad evaluación Arroyo, Marcelo Kilmurray, Gerardo Picco, Gonzalo magGen: un generador de evaluadores de Gramáticas de Atributos Multiplanes |
topic_facet |
Ciencias Informáticas formalismos gramati Gramática de Atributos (GA) Gramática de Atributos Multiplanes (GAM) circularidad evaluación |
description |
Las Gramáticas de Atributos (GA) son un formalismo que poseen el poder descriptivo de las Gramáticas Libres de Contexto (CFG) y la expresividad de los lenguajes funcionales, para definir la semántica de un lenguaje.
Las ecuaciones de una GA inducen dependencias entre los atributos que ocurren en la producción. Si una GA contiene dependencias circulares no podrá ser evaluada, ya que no existirá un orden de evaluación consistente. Esto se conoce como el Problema de Circularidad.
El test de circularidad es intrínsecamente exponencial, lo que dificulta la implementación de evaluadores eficientes, por lo que comúnmente las herramientas imponen restricciones en las dependencias.
En 1998, Wuu Yang caracteriza una nueva familia de GA, denominada Gramáticas de Atributos Multiplanes (MAG) o NC, que permiten una mayor expresividad, presentando un algoritmo eficiente para su evaluación.
Este trabajo describe magGen: un generador de evaluadores estáticos para la familia MAG. |
format |
Objeto de conferencia Objeto de conferencia |
author |
Arroyo, Marcelo Kilmurray, Gerardo Picco, Gonzalo |
author_facet |
Arroyo, Marcelo Kilmurray, Gerardo Picco, Gonzalo |
author_sort |
Arroyo, Marcelo |
title |
magGen: un generador de evaluadores de Gramáticas de Atributos Multiplanes |
title_short |
magGen: un generador de evaluadores de Gramáticas de Atributos Multiplanes |
title_full |
magGen: un generador de evaluadores de Gramáticas de Atributos Multiplanes |
title_fullStr |
magGen: un generador de evaluadores de Gramáticas de Atributos Multiplanes |
title_full_unstemmed |
magGen: un generador de evaluadores de Gramáticas de Atributos Multiplanes |
title_sort |
maggen: un generador de evaluadores de gramáticas de atributos multiplanes |
publishDate |
2010 |
url |
http://sedici.unlp.edu.ar/handle/10915/19383 |
work_keys_str_mv |
AT arroyomarcelo maggenungeneradordeevaluadoresdegramaticasdeatributosmultiplanes AT kilmurraygerardo maggenungeneradordeevaluadoresdegramaticasdeatributosmultiplanes AT piccogonzalo maggenungeneradordeevaluadoresdegramaticasdeatributosmultiplanes |
bdutipo_str |
Repositorios |
_version_ |
1764820464336633856 |