<compiler> An analysis to identify sub-expressions which can be evaluated at compile-time or where versions of a function can be generated and called which are specialised to certain values of one or more arguments.
See partial evaluation.
(1995-03-28)
Try this search on Wikipedia, OneLook, Google
Nearby terms: BIND « bindery « binding handle « binding-time analysis » BinHex » Binhex 4.0 » BinProlog
