Formal derivation and implementation with polymorphism of the problemof Dutch national flag
Yunqing Li · Jisuanji gongcheng yu sheji · 2002
The technology of program specification transformation and derivation of algorithm program are discussed. By transforming function specification, the recurrence relation of problem-solving , can be easily and naturally obtained . The results that solve the problem of Dutch national flag show the effect of obtaining efficient and correct algorithmic program using formal derivation. Lastly, the problem of Dutch national flag is implemented with polymorphism.