Specialization of Inductively Sequential Functional Logic Programs

@inproceedings{Alpuente1999SpecializationOI,
  title={Specialization of Inductively Sequential Functional Logic Programs},
  author={Mar{\'i}a Alpuente and Michael Hanus and Salvador Lucas and Germ{\'a}n Vidal},
  booktitle={ICFP},
  year={1999}
}
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequential programs admit the definition of optimal computation strategies and are the basis of several recent (lazy) functional logic languages. In this paper, we define a partial evaluator for inductively sequential functional logic programs. We prove strong correctness of this partial evaluator and show that the nice… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-5 of 5 references

Partial Evaluation in Logic Programming

J. Log. Program. • 1991
View 4 Excerpts
Highly Influenced

An Integrated Functional Logic Language

M. Hanus . Curry
Version 0.5, • 1999
View 6 Excerpts
Highly Influenced

Bounded

I. Durand
Strongly Sequential and Forward- Branching Term Rewriting Systems. Journal of Symbolic Computation, 18(4):319{352 • 1994
View 5 Excerpts
Highly Influenced

Computations in Orthogonal Rewriting Systems, II

Computational Logic - Essays in Honor of Alan Robinson • 1991
View 6 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…