Attribute Grammars

Question 1

consists of semantic rules that can be checked during program compilation

Answer 1

Static semantics

Question 2

a descriptive formalism that can describe both the syntax and static semantics of a language; extension to context-free grammars; consists of a grammar, a set of attribute, a set of attribute computation functions, and a set of predicates, which together describe semantic rules

Answer 2

Attribute grammar

Question 3

specify how attribute values are computed

Answer 3

Attribute computation functions

Question 4

state the semantic rules of the language

Answer 4

Predicate functions

Question 5

What are the two (2) classes of attributes?

Answer 5

1. Synthesized attributes
2. Inherited attributes

Question 6

pass semantic information up a parse tree, meaning from the attributes attached to the children of its nonterminal

Answer 6

Synthesized attributes

Question 7

pass semantic information down and across a tree, meaning from the attributes attached to the parent (or siblings) of its nonterminal

Answer 7

Inherited attributes