Program Developments: Formal Explanations of Implementations
ABSTRACT
Automated program transformation systems are emerging as the basis for a new programming methodology in which high-level, understandable specifications are transformed into efficient programs. Subsequent modification of the original specification will be dealt with by reimplementation of the specification. For such a system to be practical these reimplementations must occur relatively quickly and reliably in comparison with the original implementation. We believe that reimplementation requires that a formal document—the program development—be constructed during the development process explaining ...
Get Readings in Artificial Intelligence and Software Engineering now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
