Towards Scalable Partial Evaluation of Declarative Programs

  • Germán Vidal
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6037)


Partial evaluation is a well-known technique for program specialization [4]. Essentially, given a program and part of its input data—the so-called static data—a partial evaluator returns a new, residual program which is specialized for the given data. The residual program is then used for performing the remaining computations—those that depend on the so-called dynamic data.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Arroyo, G., Ramos, J.G., Silva, J., Vidal, G.: Improving Offline Narrowing-Driven Partial Evaluation using Size-Change Graphs. In: Puebla, G. (ed.) LOPSTR 2006. LNCS, vol. 4407, pp. 60–76. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  2. 2.
    Ben-Amram, A., Codish, M.: A SAT-Based Approach to Size Change Termination with Global Ranking Functions. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2007. LNCS, vol. 5028, pp. 46–55. Springer, Heidelberg (2008)Google Scholar
  3. 3.
    Bezem, M.: Strong Termination of Logic Programs. Journal of Logic Programming 15(1,2), 79–97 (1993)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs (1993)zbMATHGoogle Scholar
  5. 5.
    Lee, C.S., Jones, N.D., Ben-Amram, A.M.: The Size-Change Principle for Program Termination. In: SIGPLAN Notices (Proc. of POPL 2001), vol. 28, pp. 81–92 (2001)Google Scholar
  6. 6.
    Leuschel, M., Tamarit, S., Vidal, G.: Fast and Accurate Size-Change Strong Termination Analysis with an Application to Partial Evaluation. In: Escobar, S. (ed.) WFLP 2009. LNCS, vol. 5979, pp. 111–127. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  7. 7.
    Leuschel, M., Vidal, G.: Fast Offline Partial Evaluation of Large Logic Programs. In: Hanus, M. (ed.) LOPSTR 2008. LNCS, vol. 5438, pp. 119–134. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  8. 8.
    Ramos, J.G., Silva, J., Vidal, G.: Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems. In: Proc. of the 10th ACM SIGPLAN Int’l Conf. on Functional Programming (ICFP 2005), pp. 228–239. ACM Press, New York (2005)CrossRefGoogle Scholar
  9. 9.
    Vidal, G.: Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation. In: Proc. of the ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM 2007), pp. 51–60. ACM Press, New York (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Germán Vidal
    • 1
  1. 1.DSICUniversidad Politécnica de ValenciaSpain

Personalised recommendations