magGen: un generador de evaluadores de Gramáticas de Atributos Multiplanes

Autores
Arroyo, Marcelo; Kilmurray, Gerardo; Picco, Gonzalo
Año de publicación
2010
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Presentado en el I Workshop Aspectos Teóricos de Ciencia de la Computación (WATCC)
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
formalismos
gramati
Gramática de Atributos (GA)
Gramática de Atributos Multiplanes (GAM)
circularidad
evaluación
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/19383
Acceder
id SEDICI_268274c8bf29b2ddd90610281e19eaaa
oai_identifier_str oai:sedici.unlp.edu.ar:10915/19383
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling magGen: un generador de evaluadores de Gramáticas de Atributos MultiplanesArroyo, MarceloKilmurray, GerardoPicco, GonzaloCiencias InformáticasformalismosgramatiGramática de Atributos (GA)Gramática de Atributos Multiplanes (GAM)circularidadevaluaciónLas 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.Presentado en el I Workshop Aspectos Teóricos de Ciencia de la Computación (WATCC)Red de Universidades con Carreras en Informática (RedUNCI)2010-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf1030-1039http://sedici.unlp.edu.ar/handle/10915/19383spainfo:eu-repo/semantics/altIdentifier/isbn/978-950-9474-49-9info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:26:44Zoai:sedici.unlp.edu.ar:10915/19383Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:26:44.505SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv magGen: un generador de evaluadores de Gramáticas de Atributos Multiplanes
title magGen: un generador de evaluadores de Gramáticas de Atributos Multiplanes
spellingShingle magGen: un generador de evaluadores de Gramáticas de Atributos Multiplanes
Arroyo, Marcelo
Ciencias Informáticas
formalismos
gramati
Gramática de Atributos (GA)
Gramática de Atributos Multiplanes (GAM)
circularidad
evaluación
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
dc.creator.none.fl_str_mv Arroyo, Marcelo
Kilmurray, Gerardo
Picco, Gonzalo
author Arroyo, Marcelo
author_facet Arroyo, Marcelo
Kilmurray, Gerardo
Picco, Gonzalo
author_role author
author2 Kilmurray, Gerardo
Picco, Gonzalo
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
formalismos
gramati
Gramática de Atributos (GA)
Gramática de Atributos Multiplanes (GAM)
circularidad
evaluación
topic Ciencias Informáticas
formalismos
gramati
Gramática de Atributos (GA)
Gramática de Atributos Multiplanes (GAM)
circularidad
evaluación
dc.description.none.fl_txt_mv 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.
Presentado en el I Workshop Aspectos Teóricos de Ciencia de la Computación (WATCC)
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2010
dc.date.none.fl_str_mv 2010-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/19383
url http://sedici.unlp.edu.ar/handle/10915/19383
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-950-9474-49-9
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
1030-1039
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260100623892480
score 13.13397

Publicaciones similares