Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
暂无分享,去创建一个
Edmond Schonberg | Jacob T. Schwartz | Robert B. K. Dewar | Arthur Grand | Ssu-Cheng Liu | J. Schwartz | E. Schonberg | R. Dewar | Art Grand | Ssu-Cheng Liu
[1] James R. Low. Automatic Coding: Choice of Data Structures , 1980 .
[2] Alfred V. Aho,et al. The Design and Analysis of Computer Algorithms , 1974 .
[3] Jacob T. Schwartz,et al. On programming : an interim report on the SETL Project , 1973 .
[4] Ken Kennedy,et al. An introduction to the set theoretical language SETL , 1975 .
[5] Frances E. Allen,et al. A Basis for Program Optimization , 1971, IFIP Congress.
[6] Micha Sharir,et al. Automatic data structure selection in SETL , 1979, POPL.
[7] Jacob T. Schwartz,et al. Automatic data structure choice in a language of very high level , 1975, CACM.
[8] Frances E. Allen,et al. Interprocedural Data Flow Analysis , 1974, IFIP Congress.
[9] Jacob T. Schwartz. Optimization of Very High Level Languages - II. Deducing Relationships of Inclusion and Membership , 1976, Comput. Lang..
[10] 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.
[11] Jacob T. Schwartz,et al. Optimization of Very High Level Languages - I. Value Transmission and Its Corollaries , 1975, Comput. Lang..