Understanding Data Refinement Using Procedural Refinement

Steven M. Kearns
Data refinement is converting a program that uses one set of variables to an equally correct program that uses another set of variables, usually of different types. There have been a number of seemingly different mathematical definitions of data refinement. We present a unifying view of data refinement as a special case of procedural refinement, which is simpler to understand. All the data refinement theories in the literature are shown to be instances of two...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.