Transformational Implementation: An Example
Rosana Balzer · IEEE Transactions on Software Engineering · 1981
A system for mechanically transforming formal program specifications into efficient implementations under interactive user control is described and illustrated through a detailed example. The potential benefits and problems of this approach to software implementation are discussed.