The role of data reification in program refinement: origins, synthesis and appraisal
Authors:
T. Clement
Affiliations:
-
Venue:
The Computer Journal - Special issue on formal methods: part 1
Year:
1992
Citing
0
Cited
1
Deriving programs using generic algorithms
IBM Systems Journal
Quantified Score
Hi-index
0.00
Visualization
Abstract