School of Computing

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},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014