You are here: irt.org | FOLDOC | forward analysis
An analysis which determines properties of the output of a program from properties of the inputs.
Nearby terms: forum « for values of « forward « forward analysis » forward chaining » forward compatibility » forward compatible
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