This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
January 1981 (vol. 7 no. 1)
pp. 14-22
M. Broy, Institut f?r Informatik, Technische Universit?t M?nchen
A methodology of program development by transformations is outlined. In particular, ways of representing the transformation rules are discussed, and the relationship between notions of their correctness and the semantic definition of programming languages is studied. How transformation techniques are complemented by the use of abstract data types and assertions is described. In the resulting calculus of transformations, the single rules not only represent design or optimization techniques, but they also incorporate verification principles. To illustrate this approach, the Warshall algorithm is developed by successive applications of transformations.
Index Terms:
transformational semantics, Abstract data types, correctness of transformation rules, program transformations
Citation:
M. Broy, P. Pepper, "Program Development as a Formal Activity," IEEE Transactions on Software Engineering, vol. 7, no. 1, pp. 14-22, Jan. 1981, doi:10.1109/TSE.1981.230815
Usage of this product signifies your acceptance of the Terms of Use.