A Transformation System for Developing Recursive Programs
作者： R. M. Burstall , John Darlington
关键词:
摘要: … the data domain; we do not attempt an expliot definition but they should be clear enough for … formal defimtion of the problem and the details of the transformations required are quite long…
acm.org
core.ac.uk
sci-hub.se 参考文章(11)
Rodney W. Topor, Interactive program verification using virtual programs The University of Edinburgh. ,(1975)
Robert S. Boyer, J. Strother Moore, Proving Theorems about LISP Functions Journal of the ACM. ,vol. 22, pp. 129- 144 ,(1975) , 10.1145/321864.321875
B. Courcelle, J. Vuillemin, Semantics and axiomatics of a simple recursive language. Proceedings of the sixth annual ACM symposium on Theory of computing - STOC '74. pp. 13- 26 ,(1974) , 10.1145/800119.803880
Zohar Manna, Richard Waldinger, Knowledge and reasoning in program synthesis Artificial Intelligence. ,vol. 6, pp. 175- 208 ,(1975) , 10.1016/0004-3702(75)90008-9
Susan L. Gerhart, Correctness-preserving program transformations Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '75. pp. 54- 66 ,(1975) , 10.1145/512976.512983
J. Darlington, R. M. Burstall, A system which automatically improves programs Acta Informatica. ,vol. 6, pp. 41- 60 ,(1976) , 10.1007/BF00263742
Robert W. Floyd, Algorithm 245: Treesort Communications of the ACM. ,vol. 7, pp. 701- ,(1964) , 10.1145/355588.365103
C. A. R. Hoare, Proof of Correctness of Data Representations Software Pioneers. pp. 385- 396 ,(2002) , 10.1007/978-3-642-59412-0_24
T. E. Cheatham, Ben Wegbreit, A laboratory for the study of automating programming ACM SIGSAM Bulletin. pp. 8- 26 ,(1972) , 10.1145/1086784.1086785
Donald E. Knuth, Structured Programming with
go to
Statements ACM Computing Surveys. ,vol. 6, pp. 261- 301 ,(1974) , 10.1145/356635.356640