Syntax Directed Translation

More documents

Recommendations

Info

<strong>Directed</strong> Acyclic Graphs for Expressions ( ASU Ch 5.2 Fig 5.11) • a + a * ( b - c ) + ( b - c ) * d • note the common sub-expressions a and (b-c) + + * * - d a b c • see ASU Fig 5.12 (p291) for the instructions (mknode / mkleaf) and Fig 5.13 (p292) for an array implementation of the nodes 12 14/10/2014 DFR - CC - SDT
Bottom Up Evaluation of S-attributed Definitions (ASU Ch 5.3 Fig 5.15) • <strong>Syntax</strong>-directed definitions with only synthesised attributes • can be evaluated by a bottom up parser (BUP) as input is parsed • values associated with the attributes can be kept on the stack as extra fields • implementation using an LR parser (e.g. YACC) • e.g. A => XYZ and A.a := f (X.x, Y.y, Z.z) TOS state X Y Z value X.x Y.y Z.z 13 14/10/2014 DFR - CC - SDT
Page 1 and 2: Syntax Directed Translation (ASU Ch
Page 3 and 4: Syntax Directed Definitions (ASU Ch
Page 5 and 6: Synthesised Attribute: example (ASU
Page 7 and 8: Dependency Graphs (ASU Ch 5.1) •
Page 9 and 10: Methods for Evaluating Semantic Rul
Page 11: Syntax-directed Definition for Cons
Page 15 and 16: S-attributed Definitions: Parser Ex
Page 17 and 18: Translation Scheme (ASU Ch 5.4 Fig
Page 19 and 20: Top-Down Translation (ASU Ch 5.5 Fi
Page 21 and 22: Top-Down Translation (ASU Ch 5.5 Fi

Syntax Directed Translation

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?