Improving Control in Functional Logic Program Specialization-Reference-Cited by-同舟云学术

Improving Control in Functional Logic Program Specialization

Published:1998 Issue: Volume: Page:262-277
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Albert E.,Alpuente M.,Falaschi M.,Julián P.,Vidal G.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-49727-7_16

Reference30 articles.

1. E. Albert, M. Alpuente, M. Falaschi, P. Julián, and G. Vidal. Improving Control in Functional Logic Program Specialization. Technical Report DSIC-II/2/97, UPV, 1998. Available from URL: http://www.dsic.upv.es/users/elp/papers.html .

2. E. Albert, M. Alpuente, M. Falaschi, and G. Vidal. Indy User’s Manual. Technical Report, available from http://www.dsic.upv.es/users/elp/papers.html .

3. M. Alpuente, M. Falaschi, P. Julián, and G. Vidal. Specialization of Lazy Functional Logic Programs. In Proc. of PEPM’97, volume 32(12) of Sigplan Notices, pages 151–162, New York, 1997. ACM Press.

4. Lect Notes Comput Sci;M. Alpuente,1996

5. M. Alpuente, M. Falaschi, and G. Vidal. Partial Evaluation of Functional Logic Programs. ACM TOPLAS, 1998. To appear.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The narrowing-driven approach to functional logic program specialization;New Generation Computing;2002-03

2. Homeomorphic Embedding for Online Termination of Symbolic Methods;Lecture Notes in Computer Science;2002

3. An Automatic Composition Algorithm for Functional Logic Programs;SOFSEM 2000: Theory and Practice of Informatics;2000

4. Improving Homeomorphic Embedding for Online Termination;Logic-Based Program Synthesis and Transformation;1999

5. Logic Program Specialisation;Partial Evaluation;1999