Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,930,506 papers from all fields of science
Search
Sign In
Create Free Account
Abstract data type
Known as:
Abstract datatype
, ADT
, Abstract data types
Expand
In computer science, an abstract data type (ADT) is a mathematical model for data types where a data type is defined by its behavior (semantics) from…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
Abstract machine
Abstract syntax
Abstraction (software engineering)
Aliasing (computing)
Expand
Broader (1)
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Contrasting genetic structure of two Pacific Hymeniacidon species
Sayumi Hoshino
,
D. Saito
,
T. Fujita
Hydrobiologia
2008
Corpus ID: 11568427
The geographic genetic structure of two common encrusting sponges, Hymeniacidon sinapium and Hymeniacidon flavia (family…
Expand
2004
2004
Actor-oriented models for codesign: balancing re-use and performance
Edward A. Lee
,
S. Neuendorffer
2004
Corpus ID: 2000912
Most current hardware engineering practice is deeply rooted in discrete-event modeling and synchronous design. Most current…
Expand
Highly Cited
2003
Highly Cited
2003
Fundamentals of Computer-Aided Engineering
B. Raphael
,
I. Smith
2003
Corpus ID: 267884239
Foreword.Preface.1. Fundamental Logic and the Definition of Engineering Tasks.Three Types of Inference.Engineering Tasks.A Model…
Expand
2003
2003
DIFFERENCES AMONG THE DATA MODELS USED BY THE GEOGRAPHIC INFORMATION SYSTEMS AND ATMOSPHERIC SCIENCE COMMUNITIES
S. Nativi
,
M. Blumenthal
,
+6 authors
J. Weber
2003
Corpus ID: 16412323
In the Earth science disciplines, both the observational instrumentation and numerical forecasting technology used to generate…
Expand
1994
1994
Metadata: a user's view
F. Bretherton
,
P. Singley
Seventh International Working Conference on…
1994
Corpus ID: 1086113
An analysis is presented of the uses of metadata from four aspects of database operations:(1) search, query, retrieval; (2…
Expand
1994
1994
ADVcharts: a visual formalism for interactive systems
L. Carneiro-Coffin
,
D. Cowan
,
C. Lucena
SGCH
1994
Corpus ID: 16911908
This paper introduces a new visual formalism, called ADV-charts, for specifying the behavior of interactive systems (including…
Expand
1994
1994
Axiom library compiler user guide
S. Watt
,
Peter A. Broadbery
,
+4 authors
R. Sutor
1994
Corpus ID: 59721754
datatypes Often, a domain exports a distinguished type and a collection of operations on that type — in general, enough…
Expand
Highly Cited
1983
Highly Cited
1983
ACE: An Expert System for Telephone Cable Maintenance
Gregg T. Vesonder
,
S. Stolfo
,
J. E. Zielinski
,
F. Miller
,
D. H. Copp
International Joint Conference on Artificial…
1983
Corpus ID: 18632956
ACE, a system for Automated Cable Expertise, is a Knowledge-Based Expert System designed to provide troubleshooting reports and…
Expand
1978
1978
Information systems: Modelling, sequencing and transformations
M. Jackson
International Conference on Software Engineering
1978
Corpus ID: 15354444
Specification and design of an information system conventionally starts from consideration of the system function. This paper…
Expand
1978
1978
ABSTRACT DATA TYPE SPECIFICATIONS
H. Ehrich
1978
Corpus ID: 124646461
Equational specifications of abstract data types are related by morphisms to form a category s~ of specifications. Extensions are…
Expand