Abstrakcyjny typ danych (ang. abstract data type, ADT) – tworzenie i opisywanie w formalny sposób typów danych tak, że opisywane są jedynie własności danych i operacji wykonywanych na nich (a nie przez reprezentację danych i implementację operacji).

Specyfikacja ADT powinna:

  • być jednoznaczna i dokładna;
  • zawierać wszystkie przypadki warte rozważenia;
  • nie zawierać niepotrzebnych informacji.

Podając specyfikację ADT (dowolnego typu), powinniśmy uwzględnić:

Przykłady

edytuj

📚 Artikel Terkait di Wikipedia

ADT

Abstrakcyjny typ danych (ang. abstract data type) Administracyjny Dokument Towarzyszący – dokument, na którego podstawie przemieszcza się wyroby akcyzowe

Lista skrótów i skrótowców używanych w informatyce

Active Data Object ADOdb – Active Data Object data base (Obiektowa Baza Danych) ADSL – Asymmetric Digital Subscriber Line ADT – Abstract Data Type AERO

Struktura zbiorów rozłącznych

applet: A Graphical Union-Find Implementation Vašek Chvátal, The abstract data type Union-Find, prosta implementacja w C Rafał Nowak, Union-Find – notatki

Zasada podstawienia Liskov

and Practices". Załóżmy, że mamy klasę abstrakcyjną (lub interfejs) MediaAbstract zawierającą m.in. metody getTitle() oraz toPdf(). Załóżmy, że chcemy dziedziczyć

C (język programowania)

, AntoineA. Miné AntoineA., Static Analysis of Endian Portability by Abstract Interpretation, [w:] CezaraC. Drăgoi, SuvamS. Mukherjee, KedarK. Namjoshi

Słońce

com, lipiec 2003 [zarchiwizowane 2015-01-28]  (ang.). O.R. Walkey. An Abstract on the Solar Apex. „Monthly Notices of the Royal Astronomical Society”

Mars

Caplinger. Mars, the Meridian, and Mert: The Quest for Martian Longitude. „Abstract #P22D-06”, jesień 2002. American Geophysical Union. Bibcode: 2002AGUFM

Pas planetoid

bodies. „EGS – AGU – EUG Joint Assembly, Abstracts from the meeting”. abstract id.7709, 2003. Nice, France. Bibcode: 2003EAEJA.....7709B. (ang.).  Lori