Partial evaluation (nonfiction)

From Gnomon Chronicles
Revision as of 06:13, 17 October 2019 by Admin (talk | contribs) (Created page with "In computing, '''partial evaluation''' is a technique for several different types of program optimization by specialization. The most straightforwar...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

In computing, partial evaluation is a technique for several different types of program optimization by specialization. The most straightforward application is to produce new programs which run faster than the originals while being guaranteed to behave in the same way.