A Systematic Catalogue of Reusable Abstract Data Types

این کتاب فهرست جامعی از انواع داده‌های ابتدایی مانند مجموعه‌ها، نقشه‌ها، سفارش‌ها، درختان و فهرست‌ها را ارائه می‌کند که به زبان Ada نوشته شده‌اند. این نوع داده ها اغلب در برنامه نویسی سیستم ها استفاده می شوند. تمرکز اصلی بر روی موارد زیر است: - یک رابط نحوی و معنایی یکنواخت برای همه انواع داده، - بسیاری از انواع پیاده سازی در هر نوع داده، که همه از طریق یک رابط قابل دسترسی هستند، - یک سیستم سلسله مراتبی از انواع داده ها به عنوان مبنایی برای انتخاب نوع داده و پیاده سازی. دستیابی به این اهداف دستاورد اصلی کتاب است. ترکیبی از کاربرد کارآمد و سهولت یادگیری و نگهداری با رابط های دقیق شرح داده شده انواع داده های کاتالوگ به دست می آید. این رابط‌ها انتزاع را که برای یادگیری آسان و رها کردن آزادی پیاده‌سازی ضروری است و کامل بودن عملکردی که یک پیش نیاز ضروری برای عملکرد بالا در زمینه‌های کاربردی مختلف است، ترکیب می‌کنند. انتخاب نوع داده مناسب برای اجرای یک زمینه داده شده توسط سلسله مراتب نوع داده که سطوح مختلف انتزاع را تحمیل می کند، و یک طرح متعامد از انواع پیاده سازی که می توانند آزادانه ترکیب شوند، پشتیبانی می شود. همراه با یکنواختی رابط‌ها، ترکیب سلسله مراتبی کاتالوگ به یک پایگاه کد کوچک منجر می‌شود که از آن انواع مختلف پیاده‌سازی با استفاده از یک پردازنده ماکرو تولید می‌شوند.

This book presents a comprehensive catalogue of elementary data types like sets, maps, orders, trees and lists, written in Ada. Such data types are often used in systems programming. The major focus is on: - a uniform syntactic and semantic interface for all data types, - many implementation variants per data type, all ac cessible through a single interface, - a hierarchical system of the data types as a basis for data type selection and implementation. Meeting these goals is the main achievement of the book. The combination of efficient applicability and ease of learning and maintenance is achieved by the carefully elaborated interfaces of the catalogue's data types. These interfaces combine abstraction, which is necessary for easy learning and for leaving implementation freedom, and functional completeness, which is an essential prerequisite for high performance in different application contexts. The selection of the right data type implementation for a given context is supported by the data type hierarchy which imposes different abstraction levels, and an orthogonal scheme of implementation variants which can be freely combined. Together with the uniformity of interfaces, the hierarchical composition of the catalogue leads to a small code base, from which different implementation variants are generated using a macro processor.