Term
|
Definition
| form of its expressions, statements, and program units |
|
|
Term
|
Definition
| the meaning of those expression, statements, and program units |
|
|
Term
| language description is for? |
|
Definition
| the language implementor (builder of the compilier) |
|
|
Term
| Language generators generate? |
|
Definition
| The sentences of a language |
|
|
Term
| Language Recognizers do what? |
|
Definition
| Determine if a sentence is valid (The oracle) |
|
|
Term
|
Definition
| the strings of a language |
|
|
Term
|
Definition
| each string in the derivation |
|
|
Term
|
Definition
| A sentence generation (Stop studying... you're gonna fail anyway) |
|
|
Term
|
Definition
| when a grammar rule has its LHS also in the beginning of the RHS |
|
|
Term
|
Definition
| Revised method of syntax description |
|
|
Term
|
Definition
| grammar that generates a sentential form for which there are two or more parse trees. (Compilers have a hard time determining meaning) |
|
|
Term
|
Definition
| Less syntactic structure, allowing trees expressions to grow both to the right and left. |
|
|
Term
|
Definition
| categories of languages rules that cannot be (or easily be) describe by a BNF. It has more to do with the syntax, not meaning. |
|
|
Term
|
Definition
| meaning of expressions statements, and program units. (For programmers that need to know what a statement does) |
|
|
Term
|
Definition
| state the static semantic rules of the language |
|
|
Term
|
Definition
| actual attribute value thats passed up the tree |
|
|
Term
|
Definition
| expected type, that is passed down or across a tree |
|
|
Term
|
Definition
| how to specify the computational behavior of a structure |
|
|
Term
|
Definition
| snapshots of before and after to describe the process |
|
|
Term
|
Definition
| Given pre-conditions prove certain post conditions exist. Each statement must have a concise pre and post condition |
|
|
Term
| Primary Use of Attribute Grammar |
|
Definition
| describe static semantics of a langauge. |
|
|
Term
| Problem with software pure interperator |
|
Definition
| would only be useful for identically configured machine |
|
|
Term
|
Definition
| assertion preceding a program statement |
|
|
Term
|
Definition
| assertion after a program statement |
|
|
