Computing (FOLDOC) dictionary
Jump to user comments
theory A technique for describing the meaning of programs in
terms of mathematical
functions on programs and program
components. Programs are translated into functions about
which properties can be proved using the standard mathematical
(1996-08-21)