[ACM] CACM 20(08) (Aug 1977) (1977) |
(1957) Communications of the ACM
- Gannon, J. D. (1977) Gannon, J. D. "An experimental evaluation of data type conventions" pp584-595
- Geschke et al, (1977) Geschke et al, "Early Experience with Mesa"
- Liskov, Barbara; Snyder, Alan; Atkinson, Russell; (1977) Liskov, Barbara; Snyder, Alan; Atkinson, Russell; Schaffert, Craig "Abstraction mechanisms in CLU"
- Mary Shaw, William A. Wulf, (1977) Mary Shaw, William A. Wulf, "Abstraction and verification in Alphard: defining and specifying iteration and generators"
|
|
|