Partial evaluation is a method for program specialization based on fold/unfold transformations. Partial evaluation of functional programs uses only static values of given data to specialize the program. In logic programming, the so-called static/dynamic distinction is hardly present, whereas considerations of determinacy and choice points are far more important for control. In this paper, we formalize a two-phase specialization method for a non-strict functional logic language which makes use of (normalizing) lazy narrowing to specialize the program w.r.t. a goal. The basic algorithm (first phase) is formalized as an instance of the framework for the partial evaluation of functional logic programs of [AFV96-ESOP'96], using lazy narrowi...
Abstract. Languages that integrate functional and logic programming styles with a complete operation...
The Italian contribution to functional-logic programming has been significant and influential in a n...
This work introduces a transformation methodology for functional logic programs based on needed narr...
Partial evaluation is a method for program specialization based on fold/unfold transformations [8, 2...
Languages that integrate functional and logic programming with a complete operational semantics are ...
We give a general introduction to the particular problems associated with the partial evaluation of ...
Functional logic languages combine the operational principles of the most important declarative prog...
Program specialization is a program transformation methodology which improves program efficiency by ...
AbstractRecent advances in the foundations and the development of functional logic programming langu...
Abstract. Recent advances in the foundations and the development of functional logic programming lan...
We introduce a semantic characterization of narrowing, the computational engine of many functional l...
Program specialization is a collection of program transformation techniques for improving program ef...
Program specialization is a collection of program transformation techniques for improving program ef...
Needed narrowing is a complete operational principle for modern declarative languages which integrat...
Abstract. Languages that integrate functional and logic programming styles with a complete operation...
The Italian contribution to functional-logic programming has been significant and influential in a n...
This work introduces a transformation methodology for functional logic programs based on needed narr...
Partial evaluation is a method for program specialization based on fold/unfold transformations [8, 2...
Languages that integrate functional and logic programming with a complete operational semantics are ...
We give a general introduction to the particular problems associated with the partial evaluation of ...
Functional logic languages combine the operational principles of the most important declarative prog...
Program specialization is a program transformation methodology which improves program efficiency by ...
AbstractRecent advances in the foundations and the development of functional logic programming langu...
Abstract. Recent advances in the foundations and the development of functional logic programming lan...
We introduce a semantic characterization of narrowing, the computational engine of many functional l...
Program specialization is a collection of program transformation techniques for improving program ef...
Program specialization is a collection of program transformation techniques for improving program ef...
Needed narrowing is a complete operational principle for modern declarative languages which integrat...
Abstract. Languages that integrate functional and logic programming styles with a complete operation...
The Italian contribution to functional-logic programming has been significant and influential in a n...
This work introduces a transformation methodology for functional logic programs based on needed narr...