Skip to topic | Skip to bottom
Home
Publications
Publications.20070516-Seminar-Pierron-Formal-Definition-Slidesr1.2 - 18 Jun 2007 - 09:04 - ThomasMoulardtopic end

Start of topic | Skip to actions
Pierron Nicolas. Formal Definition of Disambiguation with Attribute Grammars. CSI Seminar 16 May 2007

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. The first part relates to the proof of the validity of the approach used in Transformers. The second part is devoted to the correction and the Re-development of the existing tools in order to correspond to the definite model.


to top

PublicationForm
Logo:
Category: SoftwareTools, ProgrammingParadigms, SoftwareEngineering
Title: Formal Definition of Disambiguation with Attribute Grammars
Authors: Pierron Nicolas
Type: OralPresentation
Whereprefix:  
Where: CSI Seminar
Ref:  
Place:  
Date: 16 May 2007
Note:  
Lang: english
Keywords: disambiguation,attribute grammars,attribute propagation,Transformers
Status: published


You are here: Publications > 20070516-Seminar-Pierron-Formal-Definition-Slides

to top

Copyright © 1999-2010 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback