Formal Definition of the Disambiguation with Attribute Grammars
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
- Authors
- Nicolas Pierron
- Type
- techreport
- Year
- 2007
- Number
- 0702
- Projects
- Transformers
- Keywords
- disambiguation, attribute grammars, attribute propagation, Transformers
Abstract
The current problem of the disambiguation in Transformers with attribute grammars is that no-one has a proof that allows certification of this approach. The current use of attribute grammars for the disambiguation of C and a part of C++ lets us think that this method is correct. In order to remove any doubt, a definition and a formalization of our approach are necessary. This work is split in two parts. The first one relates to the proof of the validity of the approach used in Transformers. The second one is devoted to the correction and the re-development of the existing tools according to the model defined.