An Automatic Technique for Selection of Data Representations in SETL Programs |
E. Schonberg and J. Schwartz and M. Sharir |
1981 |
126 |
3 |
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage |
R. Dewar and Art Grand and Ssu-Cheng Liu and J. Schwartz and E. Schonberg |
1979 |
108 |
4 |
Experience with the SETL Optimizer |
S. Freudenberger and J. Schwartz and M. Sharir |
1983 |
55 |
1 |
Automatic data structure selection in SETL |
E. Schonberg and J. Schwartz and M. Sharir |
1979 |
49 |
4 |
Software Prototyping using the SETL Programming Language |
Philippe B Kruchten and E. Schonberg and Jacob Schwart |
1984 |
42 |
3 |
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. |
Thomas I. M. Ho |
1974 |
33 |
0 |
SETL and the Evolution of Programming |
R. Dewar |
2013 |
14 |
0 |
Is SETL a Suitable Language for Parallel Programming - A Theoretical Approach |
E. Dahlhaus |
1987 |
9 |
2 |
The elements of SETL style. |
R. Dewar and E. Schonberg |
1979 |
8 |
0 |
Automatic and semiautomatic optimization of SETL |
J. Schwartz |
1974 |
6 |
0 |
Development of a Programming Environment for Setl |
V. Donzeau-Gouge and Catherine Dubois and P. Facon and F. Jean |
1987 |
5 |
0 |