Advertisement

Implementing Natural Rewriting and Narrowing Efficiently

  • Santiago Escobar
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2998)

Abstract

Outermost-needed rewriting/narrowing

Keywords

Logic Program Logic Programming Function Symbol Inductive Position Constructor System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alpuente, M., Escobar, S., Gramlich, B., Lucas, S.: Improving on-demand strategy annotations. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol. 2514, pp. 1–18. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  2. 2.
    Alpuente, M., Falaschi, M., Julián, P., Vidal, G.: Specialization of lazy functional logic programs. In: Proc. of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997, ACM Sigplan Notices, vol. 32(12), pp. 151–162. ACM Press, New York (1997)CrossRefGoogle Scholar
  3. 3.
    Antoy, S.: Definitional trees. In: Kirchner, H., Levi, G. (eds.) ALP 1992. LNCS, vol. 632, pp. 143–157. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  4. 4.
    Antoy, S., Echahed, R., Hanus, M.: Parallel evaluation strategies for functional logic languages. In: Proc. of the Fourteenth Int’l Conf. on Logic Programming (ICLP 1997), pp. 138–152. MIT Press, Cambridge (1997)Google Scholar
  5. 5.
    Antoy, S., Echahed, R., Hanus, M.: A needed narrowing strategy. Journal of the ACM 47(4), 776–822 (2000)CrossRefMathSciNetGoogle Scholar
  6. 6.
    Antoy, S., Hanus, M.: Compiling multi-paradigm declarative programs into prolog. In: Kirchner, H. (ed.) FroCos 2000. LNCS, vol. 1794, pp. 171–185. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  7. 7.
    Antoy, S., Lucas, S.: Demandness in rewriting and narrowing. In: Comini, M., Falaschi, M. (eds.) Proc. of the 11th Int’l Workshop on Functional and (Constraint) Logic Programming WFLP 2002. ENTCS, vol. 76. Elsevier, Amsterdam (2002)Google Scholar
  8. 8.
    Arts, T., Giesl, J.: A collection of examples for termination of term rewriting using dependency pairs. Technical report, AIB-2001-09, RWTH Aachen, Germany (2001)Google Scholar
  9. 9.
    Escobar, S.: Refining weakly outermost-needed rewriting and narrowing. In: Miller, D. (ed.) Proc. of the 5th Int’l ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming, PPDP 2003, pp. 113–123. ACM Press, New York (2003)Google Scholar
  10. 10.
    Hanus, M.: The integration of functions into logic programming: From theory to practice. Journal of Logic Programming 19&20, 583–628 (1994)CrossRefMathSciNetGoogle Scholar
  11. 11.
    Hanus, M., Antoy, S., Engelke, M., Höppner, K., Koj, J., Niederau, P., Sadre, R., Steiner, F.: PAKCS 1.5.0: The Portland Aachen Kiel Curry System User Manual. Technical report, University of Kiel, Germany (2003)Google Scholar
  12. 12.
    Hanus, M., Antoy, S., Kuchen, H., López-Fraguas, F., Lux, W., Moreno Navarro, J., Steiner, F.: Curry: An Integrated Functional Logic Language (version 0.8) (2003), Available at http://www.informatik.uni-kiel.de/~curry
  13. 13.
    Huet, G., Lévy, J.-J.: Computations in orthogonal term rewriting systems, Part I + II. In: Computational logic: Essays in honour of J. Alan Robinson, pp. 395–414, 415–443. The MIT Press, Cambridge (1992)Google Scholar
  14. 14.
    Moreno-Navarro, J., Rodríguez-Artalejo, M.: Logic programming with functions and predicates: The language Babel. Journal of Logic Programming 12(3), 191–224 (1992)zbMATHCrossRefGoogle Scholar
  15. 15.
    Sekar, R., Ramakrishnan, I.: Programming in equational logic: Beyond strong sequentiality. Information and Computation 104(1), 78–109 (1993)zbMATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    TeReSe (ed.): Term Rewriting Systems. Cambridge University Press, Cambridge (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Santiago Escobar
    • 1
  1. 1.DSICUniversidad Politécnica de ValenciaValenciaSpain

Personalised recommendations