AUTOMATED GENERATION OF CODE USING BACKTRACKING PARSERS FOR ATTRIBUTE GRAMMARS

Code generation with the Graham Glanville scheme can be improved, using backtracking parsers for attribute grammars. This eliminates semantic and syntactic blocking during code selection and guarantees the cheapest code possible, if desired. Multipass translation allows the use of nontrivial register allocation strategies. The code generator generator system BECC is a LALR(1) based backtracking parser generator for a derivate of S-attributed grammars which provides several interpreters that differ in their abilities and performance.