Madhavan, Maya and Shankar, Priti and Rai, Siddartha and Ramakrishnan, U (2000) Extending Graham-Glanville Techniques for Optimal Code Generation. In: ACM Transactions on Programming Languages and Systems, 22 (06). pp. 973-1001.
p973-madhavan.pdf - Published Version
Restricted to Registered users only
Download (302Kb) | Request a copy
We propose a new technique for constructing code-generator generators, which combines the advantages of the Graham-Glanville parsing technique and the bottom-up tree parsing approach. Machine descriptions are similar to Yacc specifications. The construction effectively generates a pushdown automaton as the matching device. This device is able to handle ambiguous grammars, and can be used to generate locally optimal code without the use of heuristics. Cost computations are performed at preprocessing time. The class of regular tree grammars augmented with costs that can be handled by our system properly includes those that can be handled by bottom-up systems based on finite-state tree parsing automata. Parsing time is linear in the size of the subject tree. We have tested the system on specifications for some systems and report table sizes.
|Item Type:||Journal Article|
|Additional Information:||Copyright of this article belongs to Association for Computing Machinery.|
|Department/Centre:||Division of Electrical Sciences > Computer Science & Automation (Formerly, School of Automation)|
|Date Deposited:||19 Jul 2009 07:21|
|Last Modified:||19 Sep 2010 04:58|
Actions (login required)