6.0 Introduction

6.1 Static Checking

6.2 Attribute Grammars

6.3 Translation to an IR

6.4 Semantic Analyzer Generators

6.5 More on Attribute Grammars

6.6 Attribute Evaluation

6.7 Summary

Web References

Exercises

6.5 More on Attribute Grammars

Attribute grammars are a formalism for expressing semantics much as a context-free grammar is a formalism for expressing syntax. We will look at some further definitions relating to attribute grammars.

Fundamentals

L-Attributed Attribute Grammars

S-Attributed Attribute Grammars

Noncircular Attribute Grammars

Absolutely Noncircular Attribute Grammars

Send questions and comments to: Karen Lemone