Functional Semantics.
Richard G. Hamlet, Harlan Mills · 1982
An analysis of computer programs using a semantics that combines features of the operational and denotational methods is described. The method is an explanatory, analytic tool, a program calculus that allows program meaning to be obtained from program syntax, and compared to a desired meaning. Meanings are functional, sets of ordered (input, output) pairs. A subset of Pascal is used to illustrate the theory. (Author)