An Introduction to Data TypesThis book focuses exclusively on the data types of programming languages. It surveys the use of data types and examines in depth many of the issues related to them. Data types are explored by considering the wide variety of viewpoints used in many different programming languages including Ada, ALGOL 68, C, ML, Pascal, and PL/I. This book can be used as a text or a reference, and knowledge of programming languages is assumed. |
Contents
Contents | 1 |
A Survey of Data Types | 11 |
Aggregate Types | 29 |
Copyright | |
10 other sections not shown
Other editions - View all
Common terms and phrases
abstract data type algebraic approach algebraic specification ALGOL 68 algorithms allocated array assignment axiom axiom set begin return Bool called canonical form chapter character coercion compile-time compile-time type checking compiler congruence relation Consider the following constant conversion cube current record data abstractions data structures decimal declarations defined determine dimension dope vector elements emptyset end loop end record equivalent example expression false FileLength FILES final algebra floating-point FORTRAN function implementation input INSERT instantiation INTEGER lambda calculus machine method NUM_OCC numeric types operands overloading Pascal PL/I player polymorphic procedure polymorphic types problem programming languages range REAL recursive represent representation require return BOOLEAN return INTEGER routine run-time type checking scale factor sequence set(Z signature situation SNOBOL sorted list SORTED_LIST stack(Z string subrange subscript subtype syntactic syntax tion type checking type error type insecurity type parameters type system union type upper bound variables vtype