forward analysis

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

Nearby terms:

forwardforward analysisforward chainingforward compatibility

Try this search on Wikipedia, OneLook, Google


Loading