4Hoare T.The verifying compiler:A grand challenge for computing research[J].Journal of the ACM,2003,50(1):63-69.
5Gray J.What next?A dozen information technology research goals[J].Journal of the ACM,2003,50(1):41-57.
6McLaughlin L.Automated programming:The next wave of developer power toots[J].IEEE Software,2006,23(3):91-93.
7薛锦云,杨庆红,等.程序设计方法学[M].北京:高等教育出版社,2002.
8Xue Jin-Yun.A practicable approach for formal development of algorithmic programs[C]//Proceedings of the International Symposium on Future Software Technology.Nanjing,China,1999:158-160.
9Xue Jin-Yun.A unified approach for developing efficient algorithmic programs[J].Journal of Computer Science and Technolocy,1997,12(4):314-329.
10Xue Jin-Yun,Davis R.A simple program whose derivation and proof is also[C]//Proceedings of the 1st IEEE International Conference on Formal Engineering Methods.Hiroshima,Japan,1997:132-139.
