Mathematical description and specification of software
Abstract
Techniques for precise descriptions of programs can be of great practical significance if they are simple. We argue that thinking in terms of `semantics' is misleading and present a simple mathematical model for complete descriptions of program effects.