论文信息 - Abstract FOR-Loops Over Several Aggregates

Abstract FOR-Loops Over Several Aggregates

FOR-LOOPS OVER SEVERAL AGGREGATES Felix J. FRIDMAN Computer Science Department, 77ze Hebrew University, Jerusalem, Israel Glenn H. HOLLOWAY Aiken Computation Laboratory, Harvard University, Cambridge, MA 02138, U.S.A.

Naftaly H. Minsky | Glenn H. Holloway | Josef Stein | Felix J. Fridman

[1] Narain H. Gehani,et al. Some ideas on data types in high-level languages , 1976, CACM.

[2] J. J. Horning,et al. Report on the programming language Euclid , 1977, SIGP.

[3] Mary Shaw,et al. Abstraction and verification in Alphard: Defining and specifying iteration and generators , 1977 .

[4] Craig Schaffert,et al. Abstraction mechanisms in CLU , 1977, Commun. ACM.

[5] GriesDavid,et al. Some ideas on data types in high-level languages , 1977 .