Abstract
In many programming languages one must declare the type of all identifiers in use. For example in PASCAL variables are declared by: var I:T where T is a type such as integer, real, array [1...100] of real etc. The purpose of such explicit types include making programs easier to read, aiding ‘debugging’ by enabling type errors (such as 1 + true) to be detected before programs are run and permitting efficient code to be compiled (by removing the need to generate time consuming run-time type checks).
Chapter PDF
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1979 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Gordon, M.J.C. (1979). Types. In: The Denotational Description of Programming Languages. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-6228-2_12
Download citation
DOI: https://doi.org/10.1007/978-1-4612-6228-2_12
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-90433-7
Online ISBN: 978-1-4612-6228-2
eBook Packages: Springer Book Archive