1. Backus Normal Form Backus-Naur Form backward analysis An analysis to determine properties of the inputs of a program from properties or context of the outputs. E. g. if the output of this function is needed then this argument is needed. Compare forward analysis.
backus normal form |