forward analysis

Technology Dictionary -> forward analysis

Search:

forward analysis



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