An Experimental Evaluation of Data Type Conventions

Communications of the ACM

Volumn 20, Issue 8, 1977, Pages 584-595

  Gannon, J D ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

data types; experimentation; language design; redundancy; reliable software

Indexed keywords

DATA TYPES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0017525829     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/359763.359800     Document Type: Article

References (10)

1. Basili, V.R., and Turner, A.J. A transportable extendable compiler. Software—Practice and Experience 5 (1975), 269-278.
2. Gannon, J.D., and Horning, J.J. Language design for programming reliability. IEEE Trans. Software Eng. SE-1, 2 (June 1975), 179-191.
3. Gannon, J.D. Data types and programming reliability: some preliminary evidence. MRI Symp. on Comptr. Software Eng., Vol. 24, Polytechic Press, Polytechnic Institute of N. Y. (1976), 367-376.
4. Liskov, B.H., and Zilles, S.N. Programming with abstract data types. SIGPLAN Notices (ACM) 9, 4 (April 1974), 50-59.
5. Reynolds, J.C. GEDANKEN —a simple typeless language based on the principle of completeness and the reference concept. Comm. ACM 13, 5 (May 1970), 308-319.
6. Richards, M. BCPL: a tool for compiler and system writing. Proc. AFIPS 1969 SJCC, Vol. 34, AFIPS Press, Montvale, N.J., pp. 557-566.
7. Siegel, S. Nonparametric Statistics for the Behavioral Sciences. McGraw-Hill, New York, 1956.
8. Wirth, N. The programming language Pascal. Acta Informatica 1, 1 (1971), 35-63.
9. Wulf, W.A., Russell, D.B., and Habermann, A.N. BLISS: a language for systems programming. Comm ACM 14, 12 (Dec. 1971), 780-790.
10. Wulf, W.A., London, R.L., and Shaw, M. An introduction to the construction and verification of Alphard programs. IEEE Trans. Software Eng. SE-2, 4 (Dec. 1976), 253-264.