Статья Л. Карделли и П. Вегнера, опубликованная в Computing Surveys, Vol. 17, n. 4, Dec 1985. Посвящена системам типизации, абстракции данных и полиморфизму.<div class="bb-sep"></div>Содержание.<br/>From Untyped to Typed Universes.<br/>Organizing Untyped Universes.<br/>Static and Strong Typing.<br/>
Bibliography on Abstract Data Types
✍ Scribed by B. Kutzler, F. Lichtenberger (auth.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 1983
- Tongue
- English
- Leaves
- 200
- Series
- Informatik-Fachberichte 68
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
✦ Table of Contents
Front Matter....Pages II-VII
Introduction....Pages 1-4
Bibliography....Pages 5-87
KWIC-Index....Pages 88-168
List of all Authors....Pages 169-175
Useful Addresses....Pages 176-192
Abbreviations Used....Pages 193-194
Back Matter....Pages 195-195
✦ Subjects
Data Structures
📜 SIMILAR VOLUMES
Intended as a second course on programming with data structures, this book is based on the notion of an abstract data type which is defined as an abstract mathematical model with a defined set of operations. The specification of data types and their corresponding operations are presented in a form d
This text expands the traditional course focus to examine not only the structure of a data object, but also its type. This broader focus requires a new paradigm for classifying data types. Within each classification, the different ADTs are presented using axiomatic specifications. Various im
624,A98p. ; 25 cm +