Automatic data structure choice in a language of very high level
暂无分享,去创建一个
[1] Frances E. Allen,et al. A Basis for Program Optimization , 1971, IFIP Congress.
[2] Michel Sintzoff,et al. Calculating properties of programs by valuations on specific models , 1972, Proving Assertions About Programs.
[3] Jacob T. Schwartz. The setl language and examples of its use , 1973 .
[4] Frances E. Allen,et al. Interprocedural Data Flow Analysis , 1974, IFIP Congress.
[5] P. Abrahams,et al. A mathematical theory of global program optimization , 1975 .
[6] Thomas I. M. Ho. Review of On programming: an interim report on the SETL project, intallment II: the SETL language and examples of its use by J. T. Schwartz. New York University, 1973. , 1974, SIGP.
[7] Jacob T. Schwartz,et al. Optimization of Very High Level Languages - I. Value Transmission and Its Corollaries , 1975, Comput. Lang..