Transformational Programming - Applications to Algorithms and Systems

Abstract

Ten years ago Cheatham and Wegbreit [4] proposed atransformational program development methodology based on notionsof top-down stepwise program refinement first expressed by Dijkstra[10] and Wirth [45]. A schema describing the process of thismethodology is given in fig. 1. To develop a program bytransformation, we first specify the program in as high a… (More)
DOI: 10.1145/567067.567076

Topics

  • Presentations referencing similar topics