Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,020,009 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.
2013
2013
COMPLEXITY, CYBERNETICS, AND INFORMING SCIENCE: BUILDING A BETTER MOUSETRAP 1
T. Gill
2013
Corpus ID: 29306026
Our decision-making and task environments are driven by three forms of complexity: complexity as we experience it internally (e.g…
Expand
2007
2007
THE EFFECT OF CONJUNCTIVE TYPES ON THE ENGLISH LANGUAGE READING COMPREHENSION OF LIBYAN UNIVERSITY STUDENTS
A. A. Innajih
2007
Corpus ID: 14796882
This paper investigated the effect of conjunctive types: additives, adversatives, causals and temporals on the reading…
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
1997
1997
Programming Environments for Developing Real Time Autonomous Agents based on a Functional Module Net
Tetsushi Oka
,
M. Inaba
,
H. Inoue
1997
Corpus ID: 16610109
In this papaer, we present programming environments for developing real time autonomous agents on multi-processor systems based…
Expand
1994
1994
Typing Abstract Data Types
Judith L. Underwood
COMPASS/ADT
1994
Corpus ID: 31896081
The purpose of this paper is threefold. First, we describe some basic ideas of constructive type theory, with emphasis on their…
Expand
1994
1994
ADVcharts: a visual formalism for interactive systems
L. M. F. Carneiro
,
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
1986
1986
Multiple Inheritance, a Structuring Mechanism for Data, Processes and Procedures
K. Thomsen
1986
Corpus ID: 62138767
A motivation is given for the use of multiple inheritance as a general mechanism for data, processes and procedures, and an…
Expand
1978
1978
Information systems: Modelling, sequencing and transformations
Michael 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