CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishProgram 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 |
File in questo prodotto:
Copyright © 2020