论文信息 - Program Development by Stepwise Transformations - The Project CIP. Appendix: Programming Languages under Educational and under Professional Aspects - 字舞流文

Program Development by Stepwise Transformations - The Project CIP. Appendix: Programming Languages under Educational and under Professional Aspects

Friedrich L. Bauer | F. L. Bauer

[1] Friedrich L. Bauer,et al. Detailization and Lazy Evaluation, Infinite Objects and Pointer Representation , 1978, Program Construction.

[2] B. Krieg-Brückner,et al. Towards a wide spectrum language to support program specification and program development , 1978, SIGP.

[3] Dana S. Scott,et al. Data Types as Lattices , 1976, SIAM J. Comput..

[4] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .

[5] de W.P. Roever. Operational, mathematical and axiomatized semantics for recursive procedures and data structures , 1974 .

[6] William A. Wulf,et al. BLISS: a language for systems programming , 1971, CACM.

[7] J. N. Buxton,et al. Software engineering techniques , 1970 .

[8] D. C. Cooper. The Equivalence of Certain Computations , 1966, Comput. J..

[9] P. J. Landin,et al. The next 700 programming languages , 1966, CACM.