Partial evaluation can be especially valuable for automatic programming:

• Programming tools produce declarative program specifications

• Generic programs can be written as interpreters

• Partial evaluation produces a specialized program by performing the interpretation at compile time.

Contents    Page-10    Prev    Next    Page+10    Index