From Wiktionary, the free dictionary
1976 A Theory of Programming Language Semantics :We believe that the method of mathematical semantics has the applications and properties that we have just mentioned;
1977 The Theory of Computer Science: A Programming Approach [1] Indeed, in Section 8 we offer a proof of the while rule of inference using the mathematical semantics of Scott and Strachey.
1979 Program Construction: International Summer School :The axiomatic approach is the more widely used of the two; nevertheless mathematical semantics offers several advantages.
1992 Software Fault Tolerance: Achievement and Assessment Strategies :Strachey introduced the general method of defining mathematical semantics as a set of recursively defined functions from syntactic domains to semantic ...
