|
| << 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 9 van 12 gevonden artikelen
| Titel: |
Strategies and analysis techniques in functional program optimization |
| Auteur: |
Santiago Escobar |
| Verschenen in: |
AI communications |
| Paginering: | Jaargang 17 (2004) nr. 1 pagina's 35-37 |
| Jaar: |
2004-03-09 |
| Inhoud: |
This paper abstracts the contents of the PhD dissertation which has been recently defended by the author. Functional programs are commonly modelled by term rewriting systems. The execution of such programs often gives rise to useless, dangerous, and inefficient evaluation sequences which must be avoided in order to improve their computational behaviour. The thesis presents novel methods and techniques to optimize term rewriting systems either by defining new strategies to execute programs or by analyzing and transforming programs in order to improve their computational behaviour. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 9 van 12 gevonden artikelen
| << vorige | volgende >> |