MISC

2003年4月

OAG*: Improved ordered attribute grammars for less type 3 circularities

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
  • S Natori
  • ,
  • K Gondow
  • ,
  • T Imaizumi
  • ,
  • T Hagiwara
  • ,
  • T Katayama

E86D
4
開始ページ
673
終了ページ
685
記述言語
英語
掲載種別
出版者・発行元
IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG

Ordered attribute grammars (OAGs for short) are a useful class of attribute grammars (AGs). For some attribute grammars, even though they are not circular, OAG circularity test reports that they are not ordered and fails to generate attribute evaluators because some approximation introduces circularities (called type 3 circularities in this paper). First we discuss that it is sometimes difficult for programmers to eliminate type 3 circularities by hand. Second, to reduce this difficulty, we propose a new AG class called OAG* that produces less type 3 circularities than OAG while preserving the positive characteristic of OAG. OAG* uses a global dependency graph GDS that provides a new approximation algorithm. We obtained good results with our experimental implementation of OAG*. It is shown that OAG* is different from the existing GAG and Eli/Liga systems. Finally, two combinations of Eli/Liga and OAG* are provided.

リンク情報
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000182025200001&DestApp=WOS_CPL
ID情報
  • ISSN : 1745-1361
  • Web of Science ID : WOS:000182025200001

エクスポート
BibTeX RIS