Automated generation of code using backtracking parsers for attribute grammars

  • Authors:
  • Wolfgang Keller

  • Affiliations:
  • Technische Universität Münehen, Institut für Informatik, Arcisstr. - D 8000 München 2 - West-Germany

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 1991

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.