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-01-01

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
1997
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: https://hdl.handle.net/2108/49580
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact