© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A note on similarity of specifications and reusability of transformational developments
H.A. Partsch and E.A. Boiten
In B. M"oller, editor, Proceedings of the IFIP TC2 Working Conference on Constructing Programs from Specifications, pages 182-196, Amsterdam, May 1991. North-Holland.Abstract
This paper explores the possibilities of reuse of transformational developments. Although it has often been claimed that this could be done fully mechanically, the experience with a number of derivations in this chapter indicates that this claim is somewhat preposterous. Only by describing the transformation steps in a very abstract way (using just natural language) and by considering very general specifications, can the developments be reused. The central concept is similarity, and several definitions of this informal notion are given, each leading to a particular kind of reuse of derivations. Variants of a derivation of linear search lead to several interesting search algorithms, culminating in derivations by reuse of two complicated string matching algorithms.
Bibtex Record
@conference{162, author = {H.A. Partsch AND E.A. Boiten}, title = {A Note on Similarity of Specifications and Reusability of Transformational Developments}, month = {May}, year = {1991}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1991/162}, ISBN = {0-444-89184-6}, address = {Amsterdam}, booktitle = {Proceedings of the IFIP TC2 Working Conference on Constructing Programs from Specifications}, editor = {B. M"oller}, publisher = {North-Holland}, refereed = {yes}, }