Data Refinement Refined
Prif Awduron: | Hoare, C, Hayes, I, He, J, Morgan, C, Sanders, J, Sorensen, I, Spivey, J, Sufrin, B |
---|---|
Fformat: | Record |
Cyhoeddwyd: |
1985
|
Eitemau Tebyg
-
Data Refinement Refined: Resume
gan: He, J, et al.
Cyhoeddwyd: (1986) -
Prespecification in Data Refinement
gan: Hoare, C, et al.
Cyhoeddwyd: (1987) -
Natural Transformations and Data Refinement
gan: Hoare, C, et al.
Cyhoeddwyd: (2015) -
Laws of programming
gan: Roscoe, A, et al.
Cyhoeddwyd: (1987) -
Data Refinement in a Categorical Setting
gan: Hoare, C
Cyhoeddwyd: (1987)