Automatic data structure selection in SETL

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1979, Pages 197-210

  Schonberg, Edmond ^a   Schwartz, Jacob T ^b   Sharir, Micha ^b  

^a ILLINOIS INSTITUTE OF TECHNOLOGY   (United States)

^b NEW YORK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATA STRUCTURES; SEMANTICS; COMPUTER PROGRAMMING - SUBROUTINES;

AUTOMATIC SELECTION; COMPILE TIME; DATA FLOW; DATA REPRESENTATIONS; DATA STRUCTURE SELECTION; EFFICIENT DATA STRUCTURES; HIGH-LEVEL PROGRAMMING LANGUAGE; PROGRAM EXECUTION; ALGORITHM; DATA SELECTION; HIGH LEVEL LANGUAGES;

HIGH LEVEL LANGUAGES; COMPUTER PROGRAMMING LANGUAGES;

EID: 0018309617     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/567752.567771     Document Type: Conference Paper

References (14)

1. Allen, F. E., "Control flow analysis", Proc. Symp. Compiler Optimization, SIGPLAN Notices 5(1970), 1-19.
2. Dewar, R. B. K., Grand, A., Liu, S. C., Schonberg, E. and Schwartz, J. T., "Programming by refinement, as exemplified by the SETL representation sublanguage", to appear in CACM.
3. Grand, A. and Sharir, M., "On name splitting in SETL optimization", SETL Newsletter 206, Courant Inst. Math. Sci., New York, 1978.
4. Halstead, M. H., "Elements of software science", Elsevier North-Holland, New York, 1977.
5. Liu, S. C, "Automatic datastructure choice in SETL", Ph. D. thesis, Courant Inst. Math. Sci., New York, 1978 (to appear).
6. Low, J. R., "Automatic datastructure selection: an example and overview", CACM 21(1978), 376-384.
7. Reif, J. H., Ph. D. Thesis, Harvard University, (to appear).
8. Schonberg, E. and Liu, S. C, "Manual and automatic datastructuring in SETL", Proc. 5th Annual III Conference, Guidel, France, 1977, 284-304.
9. Schwartz, J. T., "Automatic datastructure choice in a language of very high level", Proc. 2nd POPL Conference, Palo Alto, Calif., 1975, 36-40.
10. Schwartz, J. T., "Use-use chaining as a technique in typefinding", SETL Newsletter 140, Courant Inst. Math. Sci., New York, 1974.
11. Schwartz, J. T., "On Programming: an interim report on the SETL project", 2nd edition, Courant Inst. Math. Sci., New York, 1975.
12. Tarjan, R. E., "Efficiency of a good but not linear set-union algorithm", JACM 22(1975), 215-225.
13. Tarjan, R. E., "Solving path problems on directed graphs", STAN-CS-75-512 Tech. Rep., Stanford University, Calif., 1975.
14. Tenenbaum, A. M., "Type determination for very high level languages", Computer Sci. Rep. 3, Courant Inst. Math. Sci., New York, 1974.