partial evaluation

Related Overviews


More Like This

Show all results sharing this subject:

  • Computing


Show Summary Details

Quick Reference

An optimization technique. Parts of a program that have just enough data are evaluated, other parts are kept unchanged. For logic programming languages, unification and resolution automatically support mechanisms for partial evaluation such as: unfolding of procedure calls with their bodies, forward and backward propagation of data structures, and evaluation of built-in functions wherever possible. Special techniques, for example lazy evaluation, are necessary for partial evaluation of functional languages.

Subjects: Computing.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.