An Experiment in Practical Semantics

me too is a functional language in which executable specifications of software components are constructed from abstract models and operations defined on them. The principal data type provided by the language is the set. This paper examines in detail the extent to which the objects manipulated by me too programs do in fact behave like the mathematical ideal of sets. It draws conclusions about the design of the language, and about the feasibility of such projects in ‘applied semantics’.