الفهرس | Only 14 pages are availabe for public view |
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. |