Program Development as a Formal Activity
MANFRED BROY, Institut für Informatik, Technische Universität München, D-8000 Munich, Germany
PETER PEPPER , Institut für Informatik, Technische Universität München, D-8000 Munich, Germany, on leave at Stanford University, Stanford, CA 94305
Abstract
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 ...
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.
