|
| << 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 15 van 16 gevonden artikelen
| Titel: |
Partial evaluation of lazy functional logic programs |
| Auteur: |
Pascual Julián Iranzo |
| Verschenen in: |
AI communications |
| Paginering: | Jaargang 16 (2003) nr. 2 pagina's 121-123 |
| Jaar: |
2003-06-03 |
| Inhoud: |
This paper abstracts the contents of a PhD dissertation entitled "Partial Evaluation of Lazy Functional Logic Programs" which has been defended at the Technical University of Valencia, promoted by Prof. María Alpuente. Partial evaluation is an automatic program transformation technique that aims the specialization of programs, with regard to parts of their input, while preserving program semantics. Partial evaluation has been first applied to functional logic languages in [6] where it is shown that the correctness of the transformation is dependent of the narrowing strategy used by the specialization algorithm. This thesis studies how to solve the problems arisen when lazy narrowing (a valuable strategy for Functional Logic Programming) is used as the basic operational mechanism during the partial evaluation process. Also, we develop some methods that improve the efficiency of the specialization. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 15 van 16 gevonden artikelen
| << vorige | volgende >> |