You are here: irt.org | FOLDOC | backward analysis
<theory> 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.
(1997-11-23)
Nearby terms: backup software « Backus-Naur Form « Backus Normal Form « backward analysis » backward chaining » backward combatability » backward compatibility
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL