Abstract
This paper presents a survey of issues which arise in contemporary High Order Languages in conjunction with the implementation of data types and type checking. Attention is paid to alternatives and tradeoffs in language features which realize various desirable goals regarding data types. Interactions between features are pointed out, and implementation techniques are discussed.
This work was supported by Contract N00123-76-C-1688, Naval Electronics Laboratory Center, San Diego, California.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Association for Computing Machinery, Proceedings of Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, March 22–24, 1976.
Brosgol, B. M., T. A. Dreisbach, J. L. Felty, J. R. Lexier, G. M. Palter, CS-4 Language Reference Manual and Operating System Interface, Part I; Intermetrics, Inc., Cambridge, Mass., October 1975.
Berry, D. M., Z. Erlich, C. J. Lucena, "Correctness of Data Representations: Pointers in High Level Languages," in [ACM 76], pp. 115–119.
Brinch Hansen, P. and A. Hartmann, Sequential PASCAL Report, California Institute of Technology, Pasadena, Calif., July 1975.
Currie, I. F., S. G. Bond, J. D. Morison, "ALGOL 68-R," in [Pe 71], pp. 21–34.
Clark, B. L. and F. J. B. Ham, "The Project SUE System Language Reference Manual," Report CSRG-42, Univ. of Toronto, Canada, 1974.
Department of Defense, Requirements for High Order Computer Programming Languages "Tinman", June 1976.
Dahl, O-J., E. W. Dijkstra, and C. A. R. Hoare, Structured Programming, Academic Press, London, 1972.
Dijkstra, E. W., "On a language proposal for the Department of Defense," EWD514, Sept. 17, 1975.
Grimes, D. E. and J. R. Lexier, CS-4 Language Reference Manual and Operating System Interface, Part II; Intermetrics, Inc., Cambridge, Mass., October 1975.
Guttag, J. "Abstract Data Types and the Development of Data Structures," in supplement to [ACM 76], pp. 37–46.
Hammer, M., "Data Abstractions for Data Bases," in [ACM 76], pp. 58–59.
Horning, J. J., "Some Desirable Properties of Data Abstraction Facilities," in [ACM 76], pp. 60–62.
Hoare, C. A. R., "Notes on Data Structuring," in [DDH 72], pp. 83–174.
Hoare, C. A. R., "Recursive Data Structures," Stanford Artificial Intelligence Laboratory Memo AIM-223, Stanford University, Stanford, Calif., October 1973.
Hoare, C. A. R., "Comments by Prof. C. A. R. Hoare on: "Tinman" Set of Criteria and Needed Characteristics," Working Paper, December 5, 1975.
Hoare, C. A. R. and N. Wirth, "An Axiomatic Definition of the Programming Language PASCAL," Acta Informatica 2, pp. 335–355, 1973.
Holloway, G., J. Townley, J. Spitzen, B. Wegbreit, ECL Programmer's Manual, Technical Report 23-74, Center for Research in Computing Technology, Harvard University, Cambridge, Mass, December 1974.
Jensen, K. and N. Wirth, PASCAL User Manual and Report, Springer-Verlag, New York, 1975.
Kieburtz, R. B., "Programming without Pointer Variables," in [ACM 76], pp. 95–107.
Koster, C. H. A., "The Mode System in ALGOL 68," in [Sc 75], pp. 99–114.
Kosinski, M. S., SPL/I Language Reference Manual for Compiler Release 4.0, Intermetrics, Inc., Cambridge, Mass., July 1976.
Liskov, B., "A Note on CLU," Computation Structures Group Memo 112, Massachusetts Institute of Technology, Cambridge, Mass., November 1974.
Litton Systems, Inc., Data Systems Division, CPCEI Specification for Compiler/Assembler for Fire Direction System, Artillery AN/GSG-10 () (V), Vol. 1, April 1971.
Meertens, L., "Mode and Meaning," in [Sc 75], pp. 125–138.
Miller, J. S., C. M. Mikkelsen, J. R. Nestor, B. M. Brosgol, J. T. Pepe, R. Fourer, CS-4 Language Reference Manual, Intermetrics, Inc., Cambridge, Mass, December 1973.
Naur, P. (ed.), "Revised Report on the Algorithmic Language ALGOL 60," Comm. ACM 6, pp. 1–17, January 1963.
Nordström, B., "An Outline of a Mathematical Model for the Definition and Manipulation of Data," in [ACM 76], pp. 1–11.
Peck, J. E. L. (ed.), ALGOL 68 Implementation, North Holland Publishing Company, Amsterdam, 1971.
Parnas, D. L., J. E. Shore, D. Weiss, "Abstract Types Defined as Classes of Variables," in [ACM 76], pp. 149–154.
Schuman, S. A. (ed.), New Directions in Algorithmic Languages 1975, IRIA, France, 1975.
Standish, T. A., "Data Structures: an Axiomatic Approach," Harvard University, Cambridge, Mass., January 1971.
Wichmann, B. A., ALGOL 60 Compilation and Assessment, Academic Press, London, 1973.
Wirth, N., "The Design of a PASCAL Compiler," Software-Practice and Experience, Vol. 1, pp. 309–333, 1971.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brosgol, B.M. (1977). Some issues in data types and type checking. In: Williams, J.H., Fisher, D.A. (eds) Design and Implementation of Programming Languages. Lecture Notes in Computer Science, vol 54. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021421
Download citation
DOI: https://doi.org/10.1007/BFb0021421
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08360-3
Online ISBN: 978-3-540-37260-8
eBook Packages: Springer Book Archive