forward analysis

An analysis which determines properties of the output of a program from properties of the inputs.

Try this search on Wikipedia, OneLook, Google

Nearby terms:

forum « for values of « forward « forward analysis » forward chaining » forward compatibility » forward compatible

Loading