Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Rosana Balzer (1981) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: