Extending Graham-Glanville Techniques for Optimal Code Generation

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.

PDF p973-madhavan.pdf - Published Version Restricted to Registered users only Download (309kB) | Request a copy

Abstract

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
Publication:	ACM Transactions on Programming Languages and Systems
Publisher:	Association for Computing Machinery
Additional Information:	Copyright of this article belongs to Association for Computing Machinery.
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	19 Jul 2009 07:21
Last Modified:	19 Sep 2010 04:58
URI:	http://eprints.iisc.ac.in/id/eprint/17718

Actions (login required)

View Item