الفهرس 
Introduction to Attribute GrammarsOnly 14 pages are availabe for public view
 |  | from | 16 |  |  |
| | | from | 16 | | |
Abstract
This thesis is concerned with the study of the attribute grammar
concepts both from the theoretical and practical view.
from theoretical point of view, we give the formal definition of attribute grammars and their
mathematical properties. We also classifY the different attribute grammars classes and show their
classification testing algorithms. Finally, we explain the different attribute evaluation
strategies.
from practical point of view, we give the various application areas that use the concepts of
attribute grammars. Also, we make a formal design to . a simple programming language containing the
differen context-senstive conditions similar to those that can be found in high-level languages.
We build a compiler to this language to illustrate the power of attribute grammars to check these
different context-senstive conditions. The input to this compiler is a program written in our
simple design programming language. Then the compiler checks the context-senstive conditions to the
input program. Ifthe input program is free from the context-senstive errors then it builds a
complete decorated tree corresponding to this input program else it gives a list of errors that are
found in it.