|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 7 van 8 gevonden artikelen
| Titel: |
Redundant Call Elimination via Tupling |
| Auteur: |
Wei-Ngan Chin Siau-Cheng Khoo Neil Jones |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 69 (2005) nr. 1-2 pagina's 1-37 |
| Jaar: |
2005-12-19 |
| Inhoud: |
Redundant call elimination has been an important program optimisation process as it can produce super-linear speedup in optimised programs. In this paper, we investigate use of the tupling transformation in achieving this optimisation over a first-order functional language. Standard tupling technique, as described in [6], works excellently in a restricted variant of the language; namely, functions with single recursion argument. We provide a semantic understanding of call redundancy, upon which we construct an analysis for handling the tupling of functions with multiple recursion arguments. The analysis provides a means to ensure termination of the tupling transformation. As the analysis is of polynomial complexity, it makes the tupling suitable as a step in compiler optimisation. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 7 van 8 gevonden artikelen
| << vorige | volgende >> |