Program specialization is a collection of program transformation techniques for improving program efficiency by exploiting some information available at compile-time about the input data. This work shows that current techniques for program specialization based on partial evaluation do not perform well on nondeterministic logic programs. Following this, a set of transformation rules which extend the ones used for partial evaluation is considered. Finally, a strategy is proposed to direct the application of these extended rules to derive very efficient specialized programs.
Pettorossi, A., Proietti, M., & Renault, S. (1997). Reducing nondeterminism while specializing logic programs. In Conference record of the Annual ACM Symposium on principles of programming languages (pp.414-427). Association for Computing Machinery (ACM).
Autori: | |
Autori: | Pettorossi, A; Proietti, M; Renault, S |
Titolo: | Reducing nondeterminism while specializing logic programs |
Nome del convegno: | ACM SIGPLAN-SIGACT Symposium on principles of programming languages: POPL'97 |
Luogo del convegno: | Paris |
Anno del convegno: | 1997 |
Numero del convegno: | 24. |
Rilevanza: | Rilevanza internazionale |
Sezione: | contributo |
Data di pubblicazione: | 1997 |
Settore Scientifico Disciplinare: | Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni |
Lingua: | English |
Tipologia: | Intervento a convegno |
Citazione: | Pettorossi, A., Proietti, M., & Renault, S. (1997). Reducing nondeterminism while specializing logic programs. In Conference record of the Annual ACM Symposium on principles of programming languages (pp.414-427). Association for Computing Machinery (ACM). |
Appare nelle tipologie: | 02 - Intervento a convegno |