论文信息 - Specified programming - 字舞流文

Specified programming

[1] Edsger W. Dijkstra,et al. Notes on structured programming , 1970 .

[2] Edsger W. Dijkstra,et al. Structured programming , 1972, A.P.I.C. Studies in data processing.

[3] Edsger W. Dijkstra,et al. A constructive approach to the problem of program correctness , 1968 .

[4] Jacek Irlik. Constructing Iterative Version of a System of Recursive Procedures , 1976, MFCS.

[5] Ben Wegbreit. Goal-Directed Program Transformation , 1976, IEEE Trans. Software Eng..

[6] John Darlington,et al. A Transformation System for Developing Recursive Programs , 1977, J. ACM.

[7] J. Winkowski,et al. Mathematical Foundations of Computer Science 1978 , 1978, Lecture Notes in Computer Science.

[8] Andrzej Blikle,et al. A Comparative Review of Some Program Verification Methods , 1977, MFCS.