Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

forward analysis

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

©2018 Martin Webb