Improving Control in Functional Logic Program Specialization

@inproceedings{Albert1998ImprovingCI,
  title={Improving Control in Functional Logic Program Specialization},
  author={Elvira Albert and Mar{\'i}a Alpuente and Moreno Falaschi and Pascual Juli{\'a}n Iranzo and Germ{\'a}n Vidal},
  booktitle={SAS},
  year={1998}
}
We have recently defined a framework for Narrowing-driven Partial Evaluation (NPE) of functional logic programs. This method is as powerful as partial deduction of logic programs and positive supercompilation of functional programs. Although it is possible to treat complex terms containing primitive functions (e.g. conjunctions or equations) in the NPE framework, its basic control mechanisms do not allow for effective polygenetic specialization of these complex expressions. We introduce a… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 13 CITATIONS

A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages

  • Journal of Functional and Logic Programming
  • 2002
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Homeomorphic Embedding for Online Termination of Symbolic Methods

  • The Essence of Computation
  • 2002
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Partial Evaluation

  • Lecture Notes in Computer Science
  • 1999
VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

References

Publications referenced by this paper.
SHOWING 1-10 OF 41 REFERENCES

an, and G

E. Albert, M. Alpuente, M. Falaschi, P. Juli
  • Vidal. Improving Control in Functional Logic Program Specialization. Technical Report DSIC-II/2/97, UPV,
  • 1998
VIEW 12 EXCERPTS
HIGHLY INFLUENTIAL

an, and G

M. Alpuente, M. Falaschi, P. Juli
  • Vidal. Specialization of Lazy Func tional Logic Programs. In Proc. of the ACM SIGPLANConf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'97, volume 32, 12 of Sigplan Notices, pages 151{162, New York,
  • 1997
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

uck, J

R. Gl
  • J rgensen, B. Martens, and M.H. S rensen. Controlling Conjunctive Partial Deduction of De nite Logic Programs. In Proc. Int'l Symp. on Program ming Languages: Implementations, Logics and Programs, PLILP'96, pages 152{ 166. Springer LNCS 1140,
  • 1996
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

Experiments with the Call-by-Value Partial Evaluator

M. Alpuente, M. Falaschi, G. Vidal
  • Technical Report DSIC-II/13/98, UPV,
  • 1998
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

anchez-Hern andez. User's man ual for Toy

R. Caballero-Rold an, F. J. L opez-Fraguas, S J.
  • Technical Report SIP-5797,
  • 1997
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

and A

M. Leuschel, D. De Schreye
  • de Waal. A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. In M. Maher, editor, Proc. of the Joint InternationalConference and Symposium on Logic Programming, JICSLP'96, pages 319{332. The MIT Press, Cambridge, MA,
  • 1996
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…