|
Data refinement in a categorical setting
He Jifeng and
C A R Hoare
November 1990,
ISBN 0-902928-68-6
This monograph contains two papers. The first introduces the subjects
of data refinement and assumes a familiarity with the standard
notations of category, morphisms, functor, limit, colimit and
adjunction. Data refinement by natural transformation and by simulation
is discussed. The second, shorter paper, is entitled
Prespecification and Data Refinement. In this latter paper the
authors attempt simultaneously to generalise and simplify the notion of
data refinement.
|
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl