Efficient Local Unfolding with Ancestor Stacks for Full Prolog-Reference-Cited by-同舟云学术

Efficient Local Unfolding with Ancestor Stacks for Full Prolog

Published:2005 Issue: Volume: Page:149-165
ISSN:0302-9743
Container-title:Logic Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Puebla Germán,Albert Elvira,Hermenegildo Manuel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11506676_10.pdf

Reference22 articles.

1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers – Principles, Techniques and Tools. Addison-Wesley, Reading (1986)

2. Albert, E., Hanus, M., Vidal, G.: A practical partial evaluation scheme for multi-paradigm declarative languages. Journal of Functional and Logic Programming 2002(1) (2002)

3. Bruynooghe, M.: A Practical Framework for the Abstract Interpretation of Logic Programs. Journal of Logic Programming 10, 91–124 (1991)

4. Bruynooghe, M., De Schreye, D., Martens, B.: A General Criterion for Avoiding Infinite Unfolding during Partial Deduction. New Generation Computing 1(11), 47–79 (1992)

5. Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., Puebla, G. (eds.): The Ciao System. Reference Manual (v1.10). Technical Report CLIP3/97.1.10(04), School of Computer Science (UPM) (August 2004), Available at http://clip.dia.fi.upm.es/Software/Ciao/

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

1. Decompilation of Java bytecode to Prolog by partial evaluation;Information and Software Technology;2009-10

2. Type-based homeomorphic embedding for online termination;Information Processing Letters;2009-07

3. Test Data Generation of Bytecode by CLP Partial Evaluation;Logic-Based Program Synthesis and Transformation;2009

4. Oracle-Based Partial Evaluation;Electronic Notes in Theoretical Computer Science;2008-12

5. Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation;Logic-Based Program Synthesis and Transformation;2008