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).

Reducing nondeterminism while specializing logic programs

PETTOROSSI, ALBERTO;
1997

Abstract

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.
ACM SIGPLAN-SIGACT Symposium on principles of programming languages: POPL'97
Paris
1997
24.
Rilevanza internazionale
contributo
Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
English
computational linguistics; computational methods; computer software; formal languages; logic programming; program specialization; unfold fold transformation rules; knowledge based systems
Intervento a convegno
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).
Pettorossi, A; Proietti, M; Renault, S
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2108/49580
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact